Unique identifier for entities.
The reasoner does not need to know the human-readable representation of entities (such as IRIs). This is exploited by explicitly dropping any reference to such representations and exclusively relying on numeric identifiers. Of course, some form of mapping between identifiers and textual representations should be kept elsewhere and used to implement the TmeStringProvider interface.
Identifiers must be unique across all entities (concepts, roles and individuals).
Type of a TmeEntityPtr variable.
Maximum value of a TmeEntityPtr variable.
Alignment of a TmeEntityPtr variable.
If you’re using memory addresses as entity pointers, set this value to their alignment for slightly improved performance.
Unique identifier for concepts.
Unique identifier for roles.
Unique identifier for individuals.
Equality function for entity pointers.
True if the equality relation holds, false otherwise.
a: LHS of the equality.
b: RHS of the equality.
Hash function for entity pointers.
Hash value for the entity pointer.
e: Entity pointer whose hash should be computed.