C# (CSharp) TacnyInterpreter Beispiele

Beispiel #1

Datei: TacticFrameCtrl.cs Projekt: ggrov/dafny

        public virtual IEnumerable <ProofState> EvalStep(ProofState state0)
        {
            var statement = GetStmt();

            if (statement == null)
            {
                return(null);
            }
            return(TacnyInterpreter.EvalStmt(statement, state0));
        }

Beispiel #2

        public override IEnumerable <ProofState> EvalStep(ProofState state0)
        {
            var statement = GetStmt();

            return(TacnyInterpreter.EvalStmt(statement, state0));
        }