public interface IModel extends IVariableFactory, IViewFactory, IConstraintFactory, ISatFactory, IReificationFactory, IDecompositionFactory
CSTE_NAME
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
boolNotView, intAbsView, intAffineView, intMinusView, intOffsetView, intScaleView, realIntView, realIntViewArray, realIntViewMatrix
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, 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, min, min, min, mod, multiCostRegular, multiCostRegular, not, notAllEqual, 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
ibex, realIbexGenericConstraint, scalar
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
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
ifOnlyIf, ifThen, ifThen, ifThenElse, ifThenElse, reification, reifyXeqC, reifyXeqY, reifyXgtC, reifyXinS, reifyXleY, reifyXltC, reifyXltY, reifyXltYC, reifyXneC, reifyXneY
regularDec
Copyright © 2018. All rights reserved.