|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package mlsub.typing.lowlevel
Implementation of a type checker for the ML-Sub type system.
See:
Description
| Interface Summary | |
| Element | Something that can be constrained in this engine |
| Kind | Something that knows how to assert constraints on objects of this "Kind" (implemented by Variance, Low level constraints... |
| KindUnsatisfiable | Implemented by subclasses of Unsatisfiable to indicate that this is a kind error |
| Class Summary | |
| 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. |
| Debug | Printing debug messages. |
| 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. |
| Engine | Public interface to the lowlevel constraint implication checker. |
| Engine.Constraint | Engine.Constraint |
| Engine.Leq | Private |
| Interface | |
| IntVect | A growable array of integers. |
| K0 | A lowlevel constraint on integers. |
| K0.AbstractsIterator | |
| K0.Callbacks | |
| K0.ImplementsIterator | |
| K0.IndexIterator | |
| K0.IndexSelector | |
| K0.IneqIterator | |
| LowlevelSolutionHandler | |
| Misc | |
| S | Repository of useful global variables and methods |
| Satisfier | A repository for static methods used during satisfiability test |
| Separator | For pretty-printing lists separated by commas or semi-colons or, etc. |
| Exception Summary | |
| LowlevelImplementsClash | Thrown when the constraint implies that the rigid variable a implement i which is not the case |
| 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 |
| LowlevelRigidClash | Thrown when the constraint implies that x1 be a subtype of x2 but x1 and x2 are rigid and x1 is not a subtype of x2 |
| LowlevelUnsatisfiable | |
| Satisfier.Satisfiable | |
| Unsatisfiable | |
| Error Summary | |
| InternalError | Unexpected error. |
Package mlsub.typing.lowlevel Description
Implementation of a type checker for the ML-Sub type system.
Copyright
This package is free software. It is released under the GNU General Public License.Copyright Daniel Bonniot.
|
|||||||||
| Home >> All >> mlsub >> typing >> [ lowlevel overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||