private static bool ShallowEq(DisplayExpression expr1, DisplayExpression expr2) { if (expr1 is SeqDisplayExpr && expr2 is SeqDisplayExpr) { return(ShallowEq((SeqDisplayExpr)expr1, (SeqDisplayExpr)expr2)); } else if (expr1 is MultiSetDisplayExpr && expr2 is MultiSetDisplayExpr) { return(ShallowEq((MultiSetDisplayExpr)expr1, (MultiSetDisplayExpr)expr2)); } else if (expr1 is SetDisplayExpr && expr2 is SetDisplayExpr) { return(ShallowEq((SetDisplayExpr)expr1, (SetDisplayExpr)expr2)); } else { return(false); } }
public virtual void Visit(DisplayExpression displayExpression) { }
public override void Leave(DisplayExpression o) { }
public override void Visit(DisplayExpression o) { }
public static IEnumerable<IList<Expression>> ResolveDisplayExpression(ProofState state, DisplayExpression list) { Contract.Requires<ArgumentNullException>(state != null, "state"); Contract.Requires<ArgumentNullException>(list != null, "list"); Contract.Ensures(Contract.Result<IEnumerable<IList<Expression>>>() != null); var dict = list.Elements.ToDictionary(element => element, element => EvaluateTacnyExpression(state, element)); return GenerateList(dict, null); }
public static IEnumerable <IList <Expression> > ResolveDisplayExpression(ProofState state, DisplayExpression list) { Contract.Requires <ArgumentNullException>(state != null, "state"); Contract.Requires <ArgumentNullException>(list != null, "list"); Contract.Ensures(Contract.Result <IEnumerable <IList <Expression> > >() != null); var dict = list.Elements.ToDictionary(element => element, element => EvaluateTacnyExpression(state, element)); return(GenerateList(dict, null)); }