internal static string Debug_GetSmallTermString(this Terms.Term t)
{
var sw = new System.IO.StringWriter();
Terms.TermIndex.Debug_PrintSmallTerm(t, sw);
return(sw.ToString());
}
///////////////////////////////////////////////////////////
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;
}