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