예제 #1
0
 public AssumeConjHint(int nestLevel, int numConjunctions, int numCommands) :
     this(nestLevel, numConjunctions, numCommands, VCExprHint.EmptyExprHint())
 {
 }
예제 #2
0
 public AssumeSimpleHint(AssumeSimpleType hintType) : this(hintType, VCExprHint.EmptyExprHint())
 {
 }