|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectparser.chocogen.XmlModel
public class XmlModel
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 | |
---|---|
int |
initialisationtime
|
static Logger |
LOGGER
|
boolean |
randvalh
|
Constructor Summary | |
---|---|
XmlModel()
|
Method Summary | |
---|---|
CPModel |
buildModel(InstanceParser parser)
Building the Model and solver |
static boolean |
checkEverythingIsInstantiated(InstanceParser parser,
Solver s)
|
static void |
example()
An example on how to use the xml parser-solver from the api |
void |
generate(String[] args)
Main method. |
static long |
getBuildTime()
|
static long |
getConfTime()
|
static long |
getFullTime()
|
int |
getNbNodes()
|
static long |
getParseTime()
|
static long |
getResTime()
|
static String[] |
getValues()
|
void |
init()
|
Boolean |
isFeasible()
|
static InstanceParser |
load(File fichier)
Parse the xml and return the parser object (Christophe parser) which can be used to access variables, constraints, etc... |
static void |
main(String[] args)
|
void |
postAnalyze(File fichier,
InstanceParser parser,
PreProcessCPSolver s)
Output in the standart console a set of statistics on the search |
PreProcessCPSolver |
solve(CPModel model)
Solving process |
void |
solveDirectory(File dossiers)
Solve all the csps contained in the corresponding directory : dossiers |
void |
solveFile(File fichier)
ei Solve the csp given by file "fichier" |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final Logger LOGGER
public int initialisationtime
public boolean randvalh
Constructor Detail |
---|
public XmlModel()
Method Detail |
---|
public void init()
public void generate(String[] args) throws Exception
args
- arguments
Exception
public void solveFile(File fichier)
fichier
- public void solveDirectory(File dossiers)
dossiers
- : the directory where instances are storedpublic static InstanceParser load(File fichier) throws Exception, Error
fichier
-
Exception
Error
public CPModel buildModel(InstanceParser parser) throws Exception, Error
parser
-
Exception
Error
public PreProcessCPSolver solve(CPModel model) throws Error
model
-
Exception
Error
public void postAnalyze(File fichier, InstanceParser parser, PreProcessCPSolver s) throws Error
fichier
- parser
- s
-
Exception
Error
public static long getParseTime()
public static long getBuildTime()
public static long getConfTime()
public static long getResTime()
public static long getFullTime()
public int getNbNodes()
public Boolean isFeasible()
public static String[] getValues()
public static boolean checkEverythingIsInstantiated(InstanceParser parser, Solver s)
public static void example()
public static void main(String[] args) throws Exception
Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |