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