Inheritance: PLVisitor
AndDetector Class Documentation
コード例 #1
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }
コード例 #2
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }