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?
Domain<D,T extends Comparable<T>>
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.