Package | Description |
---|---|
org.jacop.fz | |
org.jacop.fz.constraints |
Modifier and Type | Method and Description |
---|---|
Tables |
FlatzincLoader.getTables() |
Modifier and Type | Method and Description |
---|---|
void |
Solve.search(org.jacop.fz.ASTSolveItem node,
Tables table,
Options opt)
It parses the solve part.
|
void |
Solve.solveModel(org.jacop.fz.SimpleNode astTree,
Tables table,
Options opt) |
Constructor and Description |
---|
Constraints(Store store,
Tables dict)
It creates an object to parse the constraint part of the flatzinc file.
|
DefaultSearchVars(Tables dict)
It constructs the class for collecting default and complementary search variables.
|
SearchItem(Store store,
Tables table)
It constructs search part parsing object based on dictionaries
provided as well as store object within which the search will take place.
|
Constructor and Description |
---|
Support(Store store,
Tables d,
SatTranslation sat) |
Copyright © 2022. All rights reserved.