Package org.jacop.fz

Interface Summary

Interface	Description
ParserConstants	Token literal values and constants.
ParserTreeConstants

Class Summary

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 Summary

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.