public class FlatzincLoader extends Object
Constructor and Description |
---|
FlatzincLoader(String[] args)
It parses the provided file and parsing parameters and creates the JaCoP model..
|
Modifier and Type | Method and Description |
---|---|
Var |
getCost() |
DepthFirstSearch<Var> |
getDFS() |
Options |
getOptions() |
SearchItem |
getSearch() |
SelectChoicePoint<Var> |
getSelectChoicePoint() |
Solve |
getSolve() |
Store |
getStore() |
Tables |
getTables() |
void |
load() |
public FlatzincLoader(String[] args)
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.
public void load()
public Store getStore()
public DepthFirstSearch<Var> getDFS()
public SelectChoicePoint<Var> getSelectChoicePoint()
public Var getCost()
public Solve getSolve()
public Tables getTables()
public SearchItem getSearch()
public Options getOptions()
Copyright © 2022. All rights reserved.