///////////////////////////////////////////////////////////
public QuantifiedExpression(
Microsoft.Boogie.QuantifierExpr boogieExpression,
Logic.Quantifier quantifier,
Logic.Variable variable,
Logic.Sort sort,
Terms.Term expression
)
{
Debug.Assert(boogieExpression != null);
this.boogieQExpression = boogieExpression;
this.quantifier = quantifier;
this.variable = variable;
this.typeBound = sort;
this.expression = expression;
}
public BoogieBoundVariableTerm(Microsoft.Boogie.IdentifierExpr boogieExpression, Logic.Variable variable)
: base(variable)
{
Debug.Assert(boogieExpression != null);
Debug.Assert(boogieExpression.Decl is Microsoft.Boogie.BoundVariable);
this.boogieExpression = boogieExpression;
}
public BoundVariableTerm(Logic.Variable variable)
{
Debug.Assert(variable != null);
this.boundVariable = variable;
}
