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

Uses of Class
formula.Named

Packages that use Named
formula Basic classes implementing propositional and first-order logic formulas. 
 

Uses of Named in formula
 

Subclasses of Named in formula
 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