| Class | Description |
|---|---|
| CP | The CP object contains the internal data representation, parsed from the input XML file |
| Expression | Abstract class for the different types of Expressions |
| ExpressionBinary | An expression consisting of a left and right side and an operator. Implements the abstract Expression class. |
| ExpressionId | An expression consisting of a single id-element. Implements the abstract expression class. |
| ExpressionInt | Expression consisting of an integer. Implements the abstract Expression class. |
| ExpressionNotNeg | An negated expression consisting of a left expression and negation type Implements the abstract Expression class. |
| Symbols | Class for checking if the problem is valid. Runs type and variable checks. |
| Type | The Type class represents a CLab type. There are two variants of Type objects: 1. Type(String typeName, ArrayList states) contains a enumeration of valid states for the type. 2. Type(String typeName, int startOfRange, int endOfRange) contains a set range. |
| TypeEnum | The Type class represents a CLab type CSPTypeEnum represents an enumeration type with a list of valid states (domain) Implements the abstract Type class. |
| TypeRange | The Type class represents a CLab type TypeRange represents a range type. Implements the abstract Type class. |
| Variable | The Variable class represents a CLab variable In addition to the types set by Type objects, CLab has an internal boolean type named bool |