Package org.openqed.struct.namedid

Core structure classes for naming formula components (both static enumerations and dynamic names).

See:
          Description

Class Summary
BinaryOperator  
DynamicId  
EnumId  
FunctionId  
FunctorId  
InvertibleEnumId  
LogicalOperator  
NamedId  
NullaryOperator  
ObjectId  
PredicateId  
QuantifierOperator  
SentenceId  
SentenceRole  
TruthValue  
UnaryOperator  
VariableId  
 

Enum Summary
BinaryOperator.EnumValue  
NullaryOperator.EnumValue  
QuantifierOperator.EnumValue  
SentenceRole.EnumValue  
TruthValue.EnumValue  
UnaryOperator.EnumValue  
 

Package org.openqed.struct.namedid Description

Core structure classes for naming formula components (both static enumerations and dynamic names).

See Also:
NamedId Overview section of the main overview