| ArrayAccess |
It stores information about a single array access encountered during parsing flatzinc file.
|
| ASTAnnotation |
|
| ASTScalarFlatExpr |
|
| ASTSolveExpr |
|
| ASTSolveItem |
|
| ASTVarDeclItem |
|
| Constraints |
The part of the parser responsible for parsing constraints.
|
| JJTParserState |
|
| Node |
|
| Options |
It parses the options provided to flatzinc parser/executable.
|
| OutputArrayAnnotation |
It stores information about the annotation for an output array.
|
| ParseException |
This exception is thrown when parse errors are encountered.
|
| Parser |
|
| Parser.JJCalls |
|
| Parser.LookaheadSuccess |
|
| ParserConstants |
Token literal values and constants.
|
| ParserTokenManager |
Token Manager.
|
| ParserTreeConstants |
|
| SearchItem |
The part of the parser responsible for parsing search part of the flatzinc specification.
|
| SimpleCharStream |
An implementation of interface CharStream, where the stream is assumed to
contain only ASCII characters (without unicode processing).
|
| SimpleNode |
|
| Solve |
The parser part responsible for parsing the solve part of the flatzinc file,
building a related search and executing it.
|
| Tables |
This class contains information about all variables, including
the variables which are used by search.
|
| Timer |
|
| Token |
Describes the input token stream.
|
| VariablesParameters |
TODO, a short description what it does and how it is used.
|