C# (CSharp) Tacny.Atomic SuchThatAtomic Beispiele

Beispiel #1

Datei: Interpreter.cs Projekt: ggrov/tacny

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

Beispiel #2

        public static IEnumerable <ProofState> EvaluateSuchThatStmt(AssignSuchThatStmt stmt, ProofState state)
        {
            var evaluator = new Atomic.SuchThatAtomic();

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