|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV NEXT | ||||||||
Uses of Package
mlsub.typing.lowlevel
| Classes in mlsub.typing.lowlevel used by mlsub.typing.lowlevel | |
| BackableList
List with mark/backtrack facility |
|
| BitMatrix
A square matrix of bits, used to represent a relation between integers. |
|
| BitVector
Same as java.util.BitSet, without the synchronization stuff plus additional features. |
|
| Domain
A "Domain" is a BitVector that holds all the possible values of a variable. |
|
| DomainVector
A DomainVector maintains an upper approximation of the set of solutions of a constraint. |
|
| Element
Something that can be constrained in this engine |
|
| Engine.Constraint
Engine.Constraint |
|
| Interface
|
|
| IntVect
A growable array of integers. |
|
| K0
A lowlevel constraint on integers. |
|
| K0.AbstractsIterator
|
|
| K0.Backup
|
|
| K0.Callbacks
|
|
| K0.ImplementsIterator
|
|
| K0.IndexIterator
|
|
| K0.IndexSelector
|
|
| K0.IneqIterator
|
|
| K0.Simplifier.Normal
|
|
| Kind
Something that knows how to assert constraints on objects of this "Kind" (implemented by Variance, Low level constraints... |
|
| LowlevelIncompatibleClash
Thrown when the constraint implies that a and b have a common subtype or supertype, but a and b are rigid and this is not true |
|
| LowlevelSolutionHandler
|
|
| LowlevelUnsatisfiable
|
|
| Satisfier.Satisfiable
|
|
| Unsatisfiable
|
|
|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV NEXT | ||||||||