Ejemplos de Tacny Interpreter.EvalTacnyExpression en C# (CSharp)

Ejemplo n.º 1

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