Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

aima.logic.fol
Class CNFConverter

java.lang.Object
  extended by aima.logic.fol.CNFConverter

public class CNFConverter
extends java.lang.Object

Constructor Summary
CNFConverter(FOLParser parser)
           
 
Method Summary
 CNF convertToCNF(Sentence aSentence)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CNFConverter

public CNFConverter(FOLParser parser)
Method Detail

convertToCNF

public CNF convertToCNF(Sentence aSentence)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD