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;
}