상속: PLVisitor
AndDetector 1 문서
예제 #1
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }
예제 #2
0
 public CNFClauseGatherer()
 {
     detector = new AndDetector();
 }