///////////////////////////////////////////////////////////
public QuantifiedTypeExpression(
Microsoft.Boogie.QuantifierExpr boogieExpression,
Logic.TypeQuantifier quantifier,
Logic.TypeVariable variable,
Terms.Term expression
)
{
Debug.Assert(boogieExpression != null);
this.boogieQTExpression = boogieExpression;
this.quantifier = quantifier;
this.variable = variable;
this.expression = expression;
}
///////////////////////////////////////////////////////////
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;
}
