Package org.jacop.fz
Class FlatzincLoader
- java.lang.Object
-
- org.jacop.fz.FlatzincLoader
-
public class FlatzincLoader extends java.lang.Object
An executable to parse the flatzinc file and create the JaCoP model.- Version:
- 4.8
-
-
Constructor Summary
Constructors Constructor Description FlatzincLoader(java.lang.String[] args)
It parses the provided file and parsing parameters and creates the JaCoP model..
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Var
getCost()
DepthFirstSearch<Var>
getDFS()
Options
getOptions()
SearchItem
getSearch()
SelectChoicePoint<Var>
getSelectChoicePoint()
Solve
getSolve()
Store
getStore()
Tables
getTables()
void
load()
-
-
-
Constructor Detail
-
FlatzincLoader
public FlatzincLoader(java.lang.String[] args)
It parses the provided file and parsing parameters and creates the JaCoP model..- Parameters:
args
- parameters describing the flatzinc file containing the problem to be solved as well as options for problem solving.TODO what are the conditions for different exceptions being thrown? Write little info below.
-
-
Method Detail
-
load
public void load()
-
getStore
public Store getStore()
-
getDFS
public DepthFirstSearch<Var> getDFS()
-
getSelectChoicePoint
public SelectChoicePoint<Var> getSelectChoicePoint()
-
getCost
public Var getCost()
-
getSolve
public Solve getSolve()
-
getTables
public Tables getTables()
-
getSearch
public SearchItem getSearch()
-
getOptions
public Options getOptions()
-
-