Module org.chocosolver.solver
Package org.chocosolver.solver
package org.chocosolver.solver
A package devoted to Model and resolution tools.
-
ClassDescriptionThis interface describes services of smallest element which can act on variables.An interface to provide an identity to object, using a positive int to caracterize the object.Interface to ease modeling Enables to make variables, views and constraintsISelf<V>An interface dedicated to encapsulate a given typeInterface to ease modeling Enables to make variables, views and constraintsThe
Modelis the header component of Constraint Programming.TheModelAnalyseris a class providing methods to analyse theModel.TheConstraintTypeStatisticsis the result of the analysis of propagators of a given constraint type and of a given class.TheModelAnalysisis the result of the analysis of theModel.TheVariableTypeStatisticsis the result of the analysis of variables of a given type and of a given class.A Portfolio helper.QuickXPlain is intended to find a minimum conflict set of constraints that's causing a conflict in the solver execution [1].User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 6 mai 2010
Since : Choco 2.1.1Settings for Model and Solver.Class which stores the value of each variable in a solutionThis class is inspired from : Inspired from "Unifying search algorithms for CSP" N.Define the possible actions of SearchLoop