|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectparser.instances.AbstractInstanceModel
parser.instances.FcspModel
public final class FcspModel
User : cprudhom Mail : cprudhom(a)emn.fr Date : 19 janv. 2010 Since : Choco 2.1.1 A class to provide facilities for loading and solving CSP described in the flatzinc grammar.
Field Summary |
---|
Fields inherited from class parser.instances.AbstractInstanceModel |
---|
dbManager, defaultConf, LOGGER, logMsg, model, objective, parser, solver |
Constructor Summary | |
---|---|
FcspModel(Configuration settings)
|
Method Summary | |
---|---|
Model |
buildModel()
create the choco model after the preprocessing phase. |
Solver |
buildSolver()
create a solver from the current model |
Boolean |
preprocess()
Executes preprocessing ( bounding, heuristics ...) |
Boolean |
solve()
configure and launch the resolution. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public FcspModel(Configuration settings)
Method Detail |
---|
public Boolean preprocess()
preprocess
in class AbstractInstanceModel
true
if a solution has been found, false
if the infeasibility has been proven and null
otherwise.public Model buildModel()
buildModel
in class AbstractInstanceModel
public Solver buildSolver()
buildSolver
in class AbstractInstanceModel
public Boolean solve()
solve
in class AbstractInstanceModel
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |