Inheritance: PLVisitor
AndDetector Class Documentation
Esempio n. 1
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }
Esempio n. 2
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }