Exemplo n.º 1
0
 public static IEnumerable<ProofState> EvaluateSuchThatStmt(AssignSuchThatStmt stmt, ProofState state) {
   var evaluator = new Atomic.SuchThatAtomic();
   return evaluator.Generate(stmt, state);
 }
Exemplo n.º 2
0
        public static IEnumerable <ProofState> EvaluateSuchThatStmt(AssignSuchThatStmt stmt, ProofState state)
        {
            var evaluator = new Atomic.SuchThatAtomic();

            return(evaluator.Generate(stmt, state));
        }