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. api2impAdvanced Use: you shouldn't normally use this map that relatesProblemAPIobjects withProblemIMPobjects. -
Uses of ProblemAPI in org.xcsp.modeler.implementation
Fields in org.xcsp.modeler.implementation declared as ProblemAPI Modifier and Type Field Description ProblemAPIProblemIMP. apiFields and MethodsMethods in org.xcsp.modeler.implementation with parameters of type ProblemAPI Modifier and Type Method Description voidProblemDataHandler. load(ProblemAPI api, String fileName)voidProblemDataHandler. 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 classAllIntervalProblem 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.classBibdclassBlackholeclassBoardColorationAll squares of a board of a specified size (specified numbers of rows and columns) must be colored with the mininum number of colors.classMagicSequenceclassPicclassPic2classQueensclassRackclassRack2classSudokuclassWarehouseclassZebra
-