Interface | Description |
---|---|
ParserConstants |
Token literal values and constants.
|
ParserTreeConstants |
Class | Description |
---|---|
ArrayAccess |
It stores information about a single array access encountered during parsing flatzinc file.
|
ASTAnnExpr | |
ASTAnnotation | |
ASTArrayLiteral | |
ASTBoolTiExprTail | |
ASTConstElem | |
ASTConstraint | |
ASTConstraintItems | |
ASTFloatTiExprTail | |
ASTIntFlatExpr | |
ASTIntLiterals | |
ASTIntTiExprTail | |
ASTmodel | |
ASTModelEnd | |
ASTPrint |
ASTPrint.java
|
ASTScalarFlatExpr | |
ASTSetElement | |
ASTSetLiteral | |
ASTSetTiExprTail | |
ASTSolveExpr | |
ASTSolveKind | |
ASTVarDeclItem | |
ASTVarDeclItems | |
ASTVariableExpr | |
Constraints |
The part of the parser responsible for parsing constraints.
|
DefaultSearchVars |
The class gathers variables and array variables for default or
complementary search.
|
FlatzincLoader |
An executable to parse the flatzinc file and create the JaCoP model.
|
Fz2jacop |
An executable to parse and execute the flatzinc file.
|
JJTParserState | |
Options |
It parses the options provided to flatzinc parser/executable.
|
OutputArrayAnnotation |
It stores information about the annotation for an output array.
|
RunWhenShuttingDown | |
SearchItem |
The part of the parser responsible for parsing search part of the flatzinc specification.
|
Solve | |
Solve.PrecisionSetting | |
SystemTimer | |
Tables |
This class contains information about all variables, including
the variables which are used by search.
|
ThreadTimer | |
VariablesParameters |
TODO, a short description what it does and how it is used.
|
Exception | Description |
---|---|
NumberSolutionsReached |
It is thrown in flazinc when search reaches a number of specified
solutions using option -n.
|
TrivialSolution |
It is thrown in flazinc when search is not needed since the solution is known.
|
Copyright © 2022. All rights reserved.