Exemplos de Tacny.Atomic SuchThatAtomic em C# (CSharp)

Exemplo n.º 1

Arquivo: Interpreter.cs Projeto: ggrov/tacny

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

Exemplo n.º 2

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

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