public static IEnumerable <object> EvaluateLeaf(ExpressionTree expt, ProofState state) { Contract.Requires(expt != null && expt.IsLeaf()); foreach (var item in Interpreter.EvaluateTacnyExpression(state, expt.Data)) { yield return(item); } }
public static IEnumerable <object> EvaluateLeaf(ExpressionTree expt, ProofState state) { Contract.Requires(expt != null && expt.IsLeaf()); foreach (var item in Interpreter.EvaluateTacnyExpression(state, expt.Data)) { yield return(item); } }