C# (CSharp) TacnyInterpreterの例

コード例 #1

ファイル: TacticFrameCtrl.cs プロジェクト: ggrov/dafny

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

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

コード例 #2

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

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