コード例 #1
0
        public void Visit(NOT not)
        {
            Sequent sequent = new Sequent(
                new ISymbol[0],
                not
                );

            Result = solver.Prove(sequent);
        }
コード例 #2
0
 public void Visit(NOT not)
 {
     VisitUnaryFunction(not);
 }