Module org.chocosolver.solver
Package org.chocosolver.solver
A package devoted to Model and resolution tools.
-
Interface Summary Interface Description ICause This interface describes services of smallest element which can act on variables.Identity An interface to provide an identity to object, using a positive int to caracterize the object.IModel Interface to ease modeling Enables to make variables, views and constraintsISelf<V> An interface dedicated to encapsulate a given typeISolver Interface to ease modeling Enables to make variables, views and constraintsPriority -
Class Summary Class Description Model TheModel
is the header component of Constraint Programming.ModelAnalyser TheModelAnalyser
is a class providing methods to analyse theModel
.ModelAnalyser.ConstraintTypeStatistics TheConstraintTypeStatistics
is the result of the analysis of propagators of a given constraint type and of a given class.ModelAnalyser.ModelAnalysis TheModelAnalysis
is the result of the analysis of theModel
.ModelAnalyser.VariableTypeStatistics TheVariableTypeStatistics
is the result of the analysis of variables of a given type and of a given class.ParallelPortfolio A Portfolio helper.QuickXPlain QuickXPlain is intended to find a minimum conflict set of constraints that's causing a conflict in the solver execution [1].Settings Settings for Model and Solver.Solution Class which stores the value of each variable in a solutionSolver This class is inspired from : Inspired from "Unifying search algorithms for CSP" N. -
Enum Summary Enum Description Cause ResolutionPolicy User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 6 mai 2010
Since : Choco 2.1.1Solver.Action Define the possible actions of SearchLoop