All Classes
-
Class Description ActivityEntry Cleanup A class to clean up beans before serialization.Config Constraints A class to compute ordering constraints.CustomXMLGregorianCalendarDeserializer DenseMatrix Dependencies DependenciesInterface EntityEntry EventIndexer A class to complete a graph, adding a generation/invalidation for each entity, start/end for each activity.EventMatrix ExistentialVariable Expansion This class checks that 1.Gensym Indexer Inference MalformedStatements Java class for MalformedStatements complex type.Mapper Matrix Merger Class merging two statements of the same type.MergeReport Java class for MergeReport complex type.MergeReportInterface ObjectMaker Pair A Pair is a container for two coordinates, the "first" and the "second" one.Pair<T1,T2> SomeStatements Java class for Statements complex type.SparseMatrix Generic Class for sparsely populated matrices.SpecializationReport Java class for SpecializationReport complex type.SpecializationReportInterface TwoKeys TypeOverlap Java class for TypeOverlap complex type.TypeReport Java class for TypeReport complex type.Types Unification Uniqueness This class deals with uniqueness constraints, in the process unifying terms.Unknown Validate ValidationReport Java class for ValidationReport complex type.ValidationReportInterface VarQName VarQNameWrapper This class is introduced as a wrapper utility, to wrap a VarQName, so that they can be indexed according to their URI.VarTime