Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
formulaVisited.Named

Packages that use Named
formulaVisited Propositional and first-order logic with visitors, singletons, and other patterns used. 
 

Uses of Named in formulaVisited
 

Subclasses of Named in formulaVisited
 class LogicalVariable
          A logical variable, representing true or false (but we may not know which).
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES