| ActivityEntry |
|
| Cleanup |
A class to clean up beans before serialization.
|
| Config |
|
| Constraints |
A class to compute ordering constraints.
|
| EntityEntry |
|
| EventIndexer |
A class to complete a graph, adding a generation/invalidation for each
entity, start/end for each activity.
|
| EventMatrix |
|
| Expansion |
This class checks that 1.
|
| Gensym |
|
| Indexer |
|
| Inference |
|
| Merger |
Class merging two statements of the same type.
|
| Pair<T1,T2> |
|
| TwoKeys |
|
| Types |
|
| Unification |
|
| Uniqueness |
This class deals with uniqueness constraints, in the process unifying terms.
|
| Validate |
|
| VarQNameWrapper |
This class is introduced as a wrapper utility, to wrap a VarQName, so that
they can be indexed according to their URI.
|
| VarTime |
|