public AssumeConjHint(int nestLevel, int numConjunctions, int numCommands, VCExprHint vcExprHint) : base( vcExprHint) { Contract.Requires(nestLevel > 0); NestLevel = nestLevel; NumConjunctions = numConjunctions; NumCommands = numCommands; }
public AssumeConjHint(int nestLevel, int numConjunctions, int numCommands) : this(nestLevel, numConjunctions, numCommands, VCExprHint.EmptyExprHint()) { }
public VCHint(VCExprHint exprHint) { ExprHint = exprHint; }
public AssumeSimpleHint(AssumeSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint()) { }
public AssumeSimpleHint(AssumeSimpleType hintType, VCExprHint exprHint) : base(exprHint) { this.hintType = hintType; }
public AssertSimpleHint(AssertSimpleType hintType, VCExprHint vcExprHint) : base(vcExprHint) { this.hintType = hintType; }