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

Package org.openqed.struct.sentence

Core structure classes for representing sentences (annotated formulae, in TPTP nomenclature).

See:
          Description

Class Summary
Sentence  
SentenceFileSource  
SentenceInferenceSource  
SentenceList  
SentenceSource  
SentenceTheorySource  
 

Package org.openqed.struct.sentence Description

Core structure classes for representing sentences (annotated formulae, in TPTP nomenclature).

See Also:
Sentence Overview section of the main overview
Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES