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