Package org.chocosolver.solver
Interface IModel
-
- All Superinterfaces:
IConstraintFactory
,IDecompositionFactory
,IIntConstraintFactory
,IRealConstraintFactory
,IReificationFactory
,ISatFactory
,ISelf<Model>
,ISetConstraintFactory
,IVariableFactory
,IViewFactory
- All Known Implementing Classes:
Model
public interface IModel extends IVariableFactory, IViewFactory, IConstraintFactory, ISatFactory, IReificationFactory, IDecompositionFactory
Interface to ease modeling Enables to make variables, views and constraints- Since:
- 4.0.0
- Author:
- Jean-Guillaume FAGES
-
-
Field Summary
-
Fields inherited from interface org.chocosolver.solver.variables.IVariableFactory
CSTE_NAME
-
-
Method Summary
-
Methods inherited from interface org.chocosolver.solver.constraints.IDecompositionFactory
binPackingDec, cumulativeTimeDec, regularDec
-
Methods inherited from interface org.chocosolver.solver.constraints.IIntConstraintFactory
absolute, allDifferent, allDifferent, allDifferentExcept0, allDifferentUnderCondition, allEqual, among, and, and, arithm, arithm, arithm, arithm, atLeastNValues, atMostNValues, binPacking, bitsIntChanneling, boolsIntChanneling, circuit, circuit, circuit, clausesIntChanneling, costRegular, count, count, cumulative, cumulative, cumulative, cumulative, cumulative, diffN, distance, distance, div, element, element, element, getDomainUnion, globalCardinality, intValuePrecedeChain, intValuePrecedeChain, inverseChanneling, inverseChanneling, keySort, knapsack, lexChainLess, lexChainLessEq, lexLess, lexLessEq, max, max, max, mddc, member, member, member, min, min, min, mod, multiCostRegular, multiCostRegular, not, notAllEqual, notMember, notMember, notMember, nValues, or, or, path, path, regular, scalar, scalar, scalar, scalar, sort, square, subCircuit, subPath, sum, sum, sum, sum, sum, sum, sum, table, table, table, table, times, times, times, tree, tree
-
Methods inherited from interface org.chocosolver.solver.constraints.IRealConstraintFactory
ibex, realIbexGenericConstraint, scalar
-
Methods inherited from interface org.chocosolver.solver.constraints.IReificationFactory
ifOnlyIf, ifThen, ifThen, ifThenElse, ifThenElse, reification, reifyXeqC, reifyXeqY, reifyXeqYC, reifyXgeY, reifyXgtC, reifyXgtY, reifyXgtYC, reifyXinS, reifyXleY, reifyXltC, reifyXltY, reifyXltYC, reifyXneC, reifyXneY, reifyXneYC, reifyXnotinS
-
Methods inherited from interface org.chocosolver.solver.constraints.ISatFactory
addClauseFalse, addClauses, addClauses, addClausesAtMostNMinusOne, addClausesAtMostOne, addClausesBoolAndArrayEqualFalse, addClausesBoolAndArrayEqVar, addClausesBoolAndEqVar, addClausesBoolEq, addClausesBoolIsEqVar, addClausesBoolIsLeVar, addClausesBoolIsLtVar, addClausesBoolIsNeqVar, addClausesBoolLe, addClausesBoolLt, addClausesBoolNot, addClausesBoolOrArrayEqualTrue, addClausesBoolOrArrayEqVar, addClausesBoolOrEqVar, addClausesBoolXorEqVar, addClausesMaxBoolArrayLessEqVar, addClausesSumBoolArrayGreaterEqVar, addClausesSumBoolArrayLessEqVar, addClauseTrue, addConstructiveDisjunction
-
Methods inherited from interface org.chocosolver.solver.constraints.ISetConstraintFactory
allDifferent, allDisjoint, allEqual, disjoint, element, element, intersection, intersection, inverseSet, max, max, member, member, member, min, min, nbEmpty, nbEmpty, notEmpty, notMember, notMember, offSet, partition, setBoolsChanneling, setBoolsChanneling, setsIntsChanneling, setsIntsChanneling, subsetEq, sum, sumElements, sumElements, symmetric, symmetric, union, union
-
Methods inherited from interface org.chocosolver.solver.variables.IVariableFactory
boolVar, boolVar, boolVar, boolVar, boolVarArray, boolVarArray, boolVarMatrix, boolVarMatrix, checkIntDomainRange, checkRealDomainRange, generateName, generateName, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVarArray, intVarArray, intVarArray, intVarArray, intVarArray, intVarArray, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, realVar, realVar, realVar, realVar, realVar, realVarArray, realVarArray, realVarMatrix, realVarMatrix, setVar, setVar, setVar, setVar, setVarArray, setVarArray, setVarMatrix, setVarMatrix, taskVar, taskVar, taskVar, taskVarArray, taskVarMatrix, toBoolVar
-
Methods inherited from interface org.chocosolver.solver.variables.IViewFactory
boolNotView, intAbsView, intAffineView, intEqView, intGeView, intLeView, intMinusView, intNeView, intOffsetView, intScaleView, realIntView, realIntViewArray, realIntViewMatrix
-
-