|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectparser.instances.AbstractInstanceModel
parser.instances.XcspModel
public class XcspModel
User: charles Date: 19 août 2008
A class to provide facilities for loading and solving CSP described in the xml format of the 2008 competition
Field Summary |
---|
Fields inherited from class parser.instances.AbstractInstanceModel |
---|
dbManager, defaultConf, LOGGER, logMsg, model, objective, parser, solver |
Constructor Summary | |
---|---|
XcspModel()
|
|
XcspModel(XcspSettings settings)
|
Method Summary | |
---|---|
Model |
buildModel()
create the choco model after the preprocessing phase. |
Solver |
buildSolver()
create a solver from the current model |
static boolean |
checkEverythingIsInstantiated(InstanceParser parser,
Solver s)
|
void |
checkSolution()
The method checks the validity of the solution. |
String |
getValuesMessage()
|
XcspSettings |
getXcspSettings()
|
void |
initialize()
|
protected void |
logOnConfiguration()
|
protected void |
logOnDiagnostics()
|
Boolean |
preprocess()
Executes preprocessing ( bounding, heuristics ...) |
Boolean |
solve()
configure and launch the resolution. |
Methods inherited from class parser.instances.AbstractInstanceModel |
---|
applyCP, checkIsSatisfied, checkStatus, consoleReport, databaseReport, getBuildTime, getConfiguration, getConfTime, getDatabaseManager, getFullSecTime, getFullTime, getInitialObjectiveValue, getInstanceName, getModel, getObjectiveValue, getOutputDirectory, getParser, getParseTime, getPreProcTime, getResTime, getSeed, getSolver, getStatus, isDatabaseReporting, isFeasible, load, makeReports, postAnalyzeCP, postAnalyzePP, setDatabaseManager, setObjective, solveFile, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public XcspModel()
public XcspModel(XcspSettings settings)
Method Detail |
---|
public final XcspSettings getXcspSettings()
public void initialize()
initialize
in class AbstractInstanceModel
public Model buildModel()
AbstractInstanceModel
buildModel
in class AbstractInstanceModel
public Solver buildSolver()
AbstractInstanceModel
buildSolver
in class AbstractInstanceModel
public String getValuesMessage()
getValuesMessage
in class AbstractInstanceModel
public Boolean preprocess()
AbstractInstanceModel
preprocess
in class AbstractInstanceModel
true
if a solution has been found, false
if the infeasibility has been proven and null
otherwise.public Boolean solve()
AbstractInstanceModel
solve
in class AbstractInstanceModel
public static boolean checkEverythingIsInstantiated(InstanceParser parser, Solver s)
public void checkSolution() throws SolutionCheckerException
AbstractInstanceModel
checkSolution
in class AbstractInstanceModel
SolutionCheckerException
protected void logOnDiagnostics()
logOnDiagnostics
in class AbstractInstanceModel
protected void logOnConfiguration()
logOnConfiguration
in class AbstractInstanceModel
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |