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.propositional.visitors
Class SymbolClassifier

java.lang.Object
  extended by aima.logic.propositional.visitors.SymbolClassifier

public class SymbolClassifier
extends java.lang.Object

Constructor Summary
SymbolClassifier()
           
 
Method Summary
 java.util.Set<Symbol> getImpureSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getNegativeSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getPositiveSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getPureNegativeSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getPurePositiveSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getPureSymbolsIn(Sentence sentence)
           
 java.util.Set<Symbol> getSymbolsIn(Sentence sentence)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SymbolClassifier

public SymbolClassifier()
Method Detail

getPositiveSymbolsIn

public java.util.Set<Symbol> getPositiveSymbolsIn(Sentence sentence)

getNegativeSymbolsIn

public java.util.Set<Symbol> getNegativeSymbolsIn(Sentence sentence)

getPureNegativeSymbolsIn

public java.util.Set<Symbol> getPureNegativeSymbolsIn(Sentence sentence)

getPurePositiveSymbolsIn

public java.util.Set<Symbol> getPurePositiveSymbolsIn(Sentence sentence)

getPureSymbolsIn

public java.util.Set<Symbol> getPureSymbolsIn(Sentence sentence)

getImpureSymbolsIn

public java.util.Set<Symbol> getImpureSymbolsIn(Sentence sentence)

getSymbolsIn

public java.util.Set<Symbol> getSymbolsIn(Sentence sentence)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD