Uses of Interface
org.xcsp.modeler.api.ProblemAPI
-
Packages that use ProblemAPI Package Description org.xcsp.modeler org.xcsp.modeler.api org.xcsp.modeler.implementation org.xcsp.modeler.problems -
-
Uses of ProblemAPI in org.xcsp.modeler
Constructors in org.xcsp.modeler with parameters of type ProblemAPI Constructor Description Compiler(ProblemAPI api)
Builds an object that allow us to generate XCSP3 instances from the specified MCSP3 model. -
Uses of ProblemAPI in org.xcsp.modeler.api
Fields in org.xcsp.modeler.api with type parameters of type ProblemAPI Modifier and Type Field Description static Map<ProblemAPI,ProblemIMP>
ProblemAPIBase. api2imp
Advanced Use: you shouldn't normally use this map that relatesProblemAPI
objects withProblemIMP
objects. -
Uses of ProblemAPI in org.xcsp.modeler.implementation
Fields in org.xcsp.modeler.implementation declared as ProblemAPI Modifier and Type Field Description ProblemAPI
ProblemIMP. api
Fields and MethodsMethods in org.xcsp.modeler.implementation with parameters of type ProblemAPI Modifier and Type Method Description void
ProblemDataHandler. load(ProblemAPI api, String fileName)
void
ProblemDataHandler. save(ProblemAPI api, String fileName)
Constructors in org.xcsp.modeler.implementation with parameters of type ProblemAPI Constructor Description ProblemIMP(ProblemAPI api, String modelVariant, String[] argsForPb)
ProblemIMP3(ProblemAPI api, String modelVariant, String data, String dataFormat, boolean dataSaving, String[] argsForPb)
-
Uses of ProblemAPI in org.xcsp.modeler.problems
Classes in org.xcsp.modeler.problems that implement ProblemAPI Modifier and Type Class Description class
AllInterval
Problem described at http://www.csplib.org/Problems/prob007/
For order 8, 9, 10, 11 and 12, there are respectively 40, 120, 296, 648 and 1328 solutions.class
Bibd
class
Blackhole
class
BoardColoration
All squares of a board of a specified size (specified numbers of rows and columns) must be colored with the mininum number of colors.class
MagicSequence
class
Pic
class
Pic2
class
Queens
class
Rack
class
Rack2
class
Sudoku
class
Warehouse
class
Zebra
-