All Classes and Interfaces
Class
Description
ConstrainedBinding.
Iterator for iterating all of a list's subLists with a given offset (default 0)
and increasing size.
Interface for entities that can be constrained by value spaces
Interface for the potential of something reaching a state of contradiction
TODO Do we need dimension as an explicit class or is "Domain" sufficient?
A set of dimensions with an ordering.
Track ranges of nodes in their respective value space classifications (vsc).
NodeValueSpace ; design experiment whether mapDimension would fit here
Utils to treat a RangeMap<K, Collection> as a MultiRangeMap.
Methods for rewriting two sequences of expressions as they occurr in
equality of concat expressions, i.e.
An index for items based on keys that are value spaces.
A value space intensionally describes a set of values possibly across multiple datatypes.
An implementation of value space backed by
NodeRanges.