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