Module org.chocosolver.solver

Package org.chocosolver.solver

Interface IModel

All Superinterfaces:

IConstraintFactory, IDecompositionFactory, IGraphConstraintFactory, IIntConstraintFactory, IRealConstraintFactory, IReificationFactory, IResultVariableFactory, ISatFactory, ISelf<Model>, ISetConstraintFactory, IVariableFactory, IViewFactory

All Known Implementing Classes:

Model

public interface IModel
extends IVariableFactory, IViewFactory, IConstraintFactory, ISatFactory, IReificationFactory, IDecompositionFactory, IResultVariableFactory

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, DEFAULT_PREFIX

Method Summary

Methods inherited from interface org.chocosolver.solver.constraints.IConstraintFactory

conditional

Methods inherited from interface org.chocosolver.solver.constraints.IDecompositionFactory

amongDec, argmaxDec, argminDec, binPackingDec, circuitDec, costFlow, cumulativeDec, cumulativeDec, cumulativeTimeDec, element, element, globalCardinalityDec, ifThenElseDec, ifThenElseDec, intValuePrecedeChainDec, intValuePrecedeChainDec, product, product, regularDec

Methods inherited from interface org.chocosolver.solver.constraints.IGraphConstraintFactory

antisymmetric, biconnected, connected, cycle, dcmst, degrees, diameter, diameter, directedForest, directedTree, edgeChanneling, edgeChanneling, forest, inDegrees, loopSet, maxDegree, maxDegrees, maxInDegree, maxInDegrees, maxOutDegree, maxOutDegrees, minDegree, minDegrees, minInDegree, minInDegrees, minOutDegree, minOutDegrees, nbCliques, nbConnectedComponents, nbEdges, nbLoops, nbNodes, nbStronglyConnectedComponents, neighborsChanneling, neighborsChanneling, neighborsChanneling, neighborsChanneling, noCircuit, noCycle, nodeChanneling, nodesChanneling, nodesChanneling, outDegrees, postSymmetryBreaking, postSymmetryBreaking, predecessorsChanneling, predecessorsChanneling, reachability, sizeConnectedComponents, sizeMaxConnectedComponents, sizeMinConnectedComponents, stronglyConnected, subgraph, subgraph, successorsChanneling, successorsChanneling, successorsChanneling, successorsChanneling, symmetric, symmetryBreaking2, symmetryBreaking3, transitivity, tree, tsp

Methods inherited from interface org.chocosolver.solver.constraints.IIntConstraintFactory

absolute, allDifferent, allDifferent, allDifferentExcept0, allDifferentUnderCondition, allDifferentUnderCondition, allDiffPrec, allDiffPrec, allDiffPrec, allDiffPrec, allEqual, among, and, and, argmax, argmin, arithm, arithm, arithm, arithm, atLeastNValues, atMostNValues, binPacking, bitsIntChanneling, boolsIntChanneling, circuit, circuit, circuit, clausesIntChanneling, costRegular, count, count, cumulative, cumulative, cumulative, cumulative, cumulative, decreasing, diffN, diffN, distance, distance, div, element, element, element, getDomainUnion, globalCardinality, increasing, intValuePrecedeChain, intValuePrecedeChain, inverseChanneling, inverseChanneling, inverseChanneling, keySort, knapsack, lexChainLess, lexChainLessEq, lexLess, lexLessEq, max, max, max, mddc, member, member, member, min, min, min, mod, mod, mod, multiCostRegular, multiCostRegular, not, notAllEqual, notMember, notMember, notMember, nValues, or, or, path, path, pow, pow, regular, scalar, scalar, scalar, scalar, sort, square, subCircuit, subPath, sum, sum, sum, sum, sum, sum, sum, sum, table, table, table, table, table, times, times, times, tree, tree

Methods inherited from interface org.chocosolver.solver.constraints.IRealConstraintFactory

element, eq, ibex, realIbexGenericConstraint, realIbexGenericConstraint, scalar

Methods inherited from interface org.chocosolver.solver.constraints.IReificationFactory

ifOnlyIf, ifThen, ifThen, ifThenElse, ifThenElse, impXrelC, impXrelYC, reification, reifXrelC, reifXrelYC, reifyXeqC, reifyXeqY, reifyXeqYC, reifyXgeY, reifyXgtC, reifyXgtY, reifyXgtYC, reifyXinS, reifyXleY, reifyXltC, reifyXltY, reifyXltYC, reifyXneC, reifyXneY, reifyXneYC, reifyXnotinS

Methods inherited from interface org.chocosolver.solver.variables.IResultVariableFactory

argmax, argmin, count, count, element, element, element, intersection, max, min, nbEmpty, sum, sum, union, union

Methods inherited from interface org.chocosolver.solver.constraints.ISatFactory

addClause, addClauseFalse, addClauses, addClauses, addClausesAtMostNMinusOne, addClausesAtMostOne, addClausesBoolAndArrayEqualFalse, addClausesBoolAndArrayEqVar, addClausesBoolAndEqVar, addClausesBoolEq, addClausesBoolIsEqVar, addClausesBoolIsLeVar, addClausesBoolIsLtVar, addClausesBoolIsNeqVar, addClausesBoolLe, addClausesBoolLt, addClausesBoolNot, addClausesBoolOrArrayEqualTrue, addClausesBoolOrArrayEqVar, addClausesBoolOrEqVar, addClausesBoolXorEqVar, addClausesMaxBoolArrayLessEqVar, addClausesSumBoolArrayGreaterEqVar, addClausesSumBoolArrayLessEqKVar, addClauseTrue, addConstructiveDisjunction, addElement, addTable, addTable, lit, neg, sat, satVar

Methods inherited from interface org.chocosolver.solver.ISelf

ref

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, setLe, setLt, setsIntsChanneling, setsIntsChanneling, sortedSetIntsChanneling, subsetEq, sum, sumElements, sumElements, symmetric, symmetric, union, union, union, union

Methods inherited from interface org.chocosolver.solver.variables.IVariableFactory

boolVar, boolVar, boolVar, boolVar, boolVarArray, boolVarArray, boolVarMatrix, boolVarMatrix, checkIntDomainRange, checkRealDomainRange, digraphVar, generateName, generateName, graphVar, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVar, intVarArray, intVarArray, intVarArray, intVarArray, intVarArray, intVarArray, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, intVarMatrix, nodeInducedDigraphVar, nodeInducedGraphVar, realVar, realVar, realVar, realVar, realVar, realVarArray, realVarArray, realVarMatrix, realVarMatrix, setVar, setVar, setVar, setVar, setVarArray, setVarArray, setVarMatrix, setVarMatrix, taskVar, taskVar, taskVar, taskVar, taskVarArray, taskVarMatrix, toBoolVar

Methods inherited from interface org.chocosolver.solver.variables.IViewFactory

abs, boolNotView, boolsSetView, edgeInducedSubgraphView, edgeInducedSubgraphView, graphNeighborsSetView, graphNodeSetView, graphPredecessorsSetView, graphSuccessorsSetView, graphUnionView, graphUnionView, intAbsView, intAffineView, intEqView, intGeView, intLeView, intMinusView, intNeView, intOffsetView, intScaleView, intsSetsView, intsSetView, intsSetView, intView, isEq, isGeq, isLeq, isNeq, mul, neg, nodeInducedSubgraphView, nodeInducedSubgraphView, offset, realIntView, realIntViewArray, realIntViewMatrix, setBoolsView, setBoolView, setDifferenceView, setIntersectionView, setUnionView