Uses of Class
org.chocosolver.util.ESat
-
-
Uses of ESat in org.chocosolver.sat
Methods in org.chocosolver.sat that return ESat Modifier and Type Method Description ESat
PropNogoods. isEntailed()
ESat
PropSat. isEntailed()
-
Uses of ESat in org.chocosolver.solver
Fields in org.chocosolver.solver declared as ESat Modifier and Type Field Description protected ESat
Solver. feasible
Problem feasbility: - UNDEFINED if unknown, - TRUE if satisfiable, - FALSE if unsatisfiableMethods in org.chocosolver.solver that return ESat Modifier and Type Method Description ESat
Solver. isFeasible()
Returns information on the feasibility of the current problem defined by the solver.ESat
Solver. isSatisfied()
Return the current state of the CSP. -
Uses of ESat in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints that return ESat Modifier and Type Method Description abstract ESat
Propagator. isEntailed()
Check wetherthis
is entailed according to the current state of its internal structure.ESat
Constraint. isSatisfied()
Test if thisConstraint
object is satisfied, regarding itsPropagators
and itsVariable
current domains.ESat
ReificationConstraint. isSatisfied()
-
Uses of ESat in org.chocosolver.solver.constraints.binary
Methods in org.chocosolver.solver.constraints.binary that return ESat Modifier and Type Method Description ESat
PropAbsolute. isEntailed()
ESat
PropDistanceXYC. isEntailed()
ESat
PropEqualX_Y. isEntailed()
ESat
PropEqualX_YC. isEntailed()
ESat
PropEqualXY_C. isEntailed()
ESat
PropGreaterOrEqualX_Y. isEntailed()
ESat
PropGreaterOrEqualX_YC. isEntailed()
ESat
PropGreaterOrEqualXY_C. isEntailed()
ESat
PropLessOrEqualXY_C. isEntailed()
ESat
PropNotEqualX_Y. isEntailed()
ESat
PropNotEqualX_YC. isEntailed()
ESat
PropNotEqualXY_C. isEntailed()
ESat
PropScale. isEntailed()
ESat
PropSquare. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.binary.element
Methods in org.chocosolver.solver.constraints.binary.element that return ESat Modifier and Type Method Description ESat
PropElement. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.extension
Methods in org.chocosolver.solver.constraints.extension that return ESat Modifier and Type Method Description ESat
Tuples. check(IntVar... vars)
Checks entailment of a table constraint over vars with this Tuples object -
Uses of ESat in org.chocosolver.solver.constraints.extension.binary
Methods in org.chocosolver.solver.constraints.extension.binary that return ESat Modifier and Type Method Description ESat
PropBinCSP. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.extension.nary
Methods in org.chocosolver.solver.constraints.extension.nary that return ESat Modifier and Type Method Description ESat
PropCompactTable. isEntailed()
ESat
PropLargeCSP. isEntailed()
ESat
PropLargeMDDC. isEntailed()
ESat
PropTableStr2. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary
Methods in org.chocosolver.solver.constraints.nary that return ESat Modifier and Type Method Description ESat
PropDiffN. isEntailed()
ESat
PropIntValuePrecedeChain. isEntailed()
ESat
PropKLoops. isEntailed()
ESat
PropKnapsack. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.alldifferent
Methods in org.chocosolver.solver.constraints.nary.alldifferent that return ESat Modifier and Type Method Description ESat
PropAllDiffAC. isEntailed()
ESat
PropAllDiffBC. isEntailed()
ESat
PropAllDiffInst. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.alldifferent.conditions
Methods in org.chocosolver.solver.constraints.nary.alldifferent.conditions that return ESat Modifier and Type Method Description ESat
PropCondAllDiff_AC. isEntailed()
ESat
PropCondAllDiffInst. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.among
Methods in org.chocosolver.solver.constraints.nary.among that return ESat Modifier and Type Method Description ESat
PropAmongGAC. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.automata
Methods in org.chocosolver.solver.constraints.nary.automata that return ESat Modifier and Type Method Description ESat
PropCostRegular. isEntailed()
ESat
PropMultiCostRegular. isEntailed()
ESat
PropRegular. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.binPacking
Methods in org.chocosolver.solver.constraints.nary.binPacking that return ESat Modifier and Type Method Description ESat
PropItemToLoad. isEntailed()
ESat
PropLoadToItem. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.channeling
Methods in org.chocosolver.solver.constraints.nary.channeling that return ESat Modifier and Type Method Description ESat
PropBitChanneling. isEntailed()
ESat
PropClauseChanneling. isEntailed()
ESat
PropEnumDomainChanneling. isEntailed()
ESat
PropInverseChannelAC. isEntailed()
ESat
PropInverseChannelBC. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.circuit
Methods in org.chocosolver.solver.constraints.nary.circuit that return ESat Modifier and Type Method Description ESat
PropCircuit_ArboFiltering. isEntailed()
ESat
PropCircuitSCC. isEntailed()
ESat
PropNoSubtour. isEntailed()
ESat
PropSubcircuit. isEntailed()
ESat
PropSubcircuitDominatorFilter. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.clauses
Methods in org.chocosolver.solver.constraints.nary.clauses that return ESat Modifier and Type Method Description ESat
ClauseStore. isEntailed()
ESat
ClauseStore.SignedClause. isEntailed()
ESat
PropSignedClause. isEntailed()
ESat
ClauseConstraint. isSatisfied()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.cnf
Methods in org.chocosolver.solver.constraints.nary.cnf that return ESat Modifier and Type Method Description ESat
PropFalse. isEntailed()
ESat
PropTrue. isEntailed()
ESat
SatConstraint. isSatisfied()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.count
Methods in org.chocosolver.solver.constraints.nary.count that return ESat Modifier and Type Method Description ESat
PropCount_AC. isEntailed()
ESat
PropCountVar. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.cumulative
Methods in org.chocosolver.solver.constraints.nary.cumulative that return ESat Modifier and Type Method Description ESat
PropCumulative. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.element
Methods in org.chocosolver.solver.constraints.nary.element that return ESat Modifier and Type Method Description ESat
PropElementV_fast. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.globalcardinality
Methods in org.chocosolver.solver.constraints.nary.globalcardinality that return ESat Modifier and Type Method Description ESat
PropFastGCC. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.lex
Methods in org.chocosolver.solver.constraints.nary.lex that return ESat Modifier and Type Method Description ESat
PropLex. isEntailed()
ESat
PropLexChain. isEntailed()
ESat
PropLexInt. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.min_max
Methods in org.chocosolver.solver.constraints.nary.min_max that return ESat Modifier and Type Method Description ESat
PropBoolMax. isEntailed()
ESat
PropBoolMin. isEntailed()
ESat
PropMax. isEntailed()
ESat
PropMin. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.nogood
Methods in org.chocosolver.solver.constraints.nary.nogood that return ESat Modifier and Type Method Description ESat
NogoodConstraint. isSatisfied()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.nvalue
Methods in org.chocosolver.solver.constraints.nary.nvalue that return ESat Modifier and Type Method Description ESat
PropAMNV. isEntailed()
ESat
PropAtLeastNValues_AC. isEntailed()
ESat
PropAtLeastNValues. isEntailed()
ESat
PropAtMostNValues_BC. isEntailed()
ESat
PropAtMostNValues. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.sort
Methods in org.chocosolver.solver.constraints.nary.sort that return ESat Modifier and Type Method Description ESat
PropKeysorting. isEntailed()
ESat
PropSort. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.sum
Methods in org.chocosolver.solver.constraints.nary.sum that return ESat Modifier and Type Method Description ESat
PropSum. check(int sumLB, int sumUB)
Whether the current state of the scalar product is entailedESat
PropScalar. isEntailed()
ESat
PropSum. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.nary.tree
Methods in org.chocosolver.solver.constraints.nary.tree that return ESat Modifier and Type Method Description ESat
PropAntiArborescences. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.real
Methods in org.chocosolver.solver.constraints.real that return ESat Modifier and Type Method Description protected ESat
PropScalarMixed. check(double sumLB, double sumUB)
Whether the current state of the scalar product is entailedESat
PropScalarMixed. isEntailed()
ESat
RealPropagator. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.reification
Methods in org.chocosolver.solver.constraints.reification that return ESat Modifier and Type Method Description abstract ESat
PropConditionnal. checkCondition()
Check a specific condition.
If the condition returns ESat.TRUE, then posts temporarily the first propagator,
If the condition returns Esat.FALSE, then it posts temporarily the second propagator,
Otherwise wait for the condition to be fully (un)satisfied.ESat
PropConditionnal. isEntailed()
ESat
PropLocalConDis. isEntailed()
ESat
PropOpposite. isEntailed()
ESat
PropReif. isEntailed()
ESat
PropXeqCReif. isEntailed()
ESat
PropXeqYCReif. isEntailed()
ESat
PropXinSReif. isEntailed()
ESat
PropXltCReif. isEntailed()
ESat
PropXltYCReif. isEntailed()
ESat
LocalConstructiveDisjunction. isSatisfied()
-
Uses of ESat in org.chocosolver.solver.constraints.set
Methods in org.chocosolver.solver.constraints.set that return ESat Modifier and Type Method Description ESat
PropAllDiff. isEntailed()
ESat
PropAllDisjoint. isEntailed()
ESat
PropAllEqual. isEntailed()
ESat
PropAtMost1Empty. isEntailed()
ESat
PropBoolChannel. isEntailed()
ESat
PropCardinality. isEntailed()
ESat
PropElement. isEntailed()
ESat
PropIntBoundedMemberSet. isEntailed()
ESat
PropIntChannel. isEntailed()
ESat
PropIntCstMemberSet. isEntailed()
ESat
PropIntCstNotMemberSet. isEntailed()
ESat
PropIntEnumMemberSet. isEntailed()
ESat
PropIntersection. isEntailed()
ESat
PropIntersectionFilterSets. isEntailed()
ESat
PropInverse. isEntailed()
ESat
PropMaxElement. isEntailed()
ESat
PropMinElement. isEntailed()
ESat
PropNbEmpty. isEntailed()
ESat
PropNotEmpty. isEntailed()
ESat
PropNotMemberIntSet. isEntailed()
ESat
PropNotMemberSetInt. isEntailed()
ESat
PropOffSet. isEntailed()
ESat
PropSetIntValuesUnion. isEntailed()
ESat
PropSubsetEq. isEntailed()
ESat
PropSumOfElements. isEntailed()
ESat
PropSymmetric. isEntailed()
ESat
PropUnion. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.ternary
Methods in org.chocosolver.solver.constraints.ternary that return ESat Modifier and Type Method Description ESat
AbstractPropDistanceXYZ. isEntailed()
ESat
PropDivXYZ. isEntailed()
ESat
PropMaxBC. isEntailed()
ESat
PropMinBC. isEntailed()
ESat
PropTimesNaive. isEntailed()
ESat
PropXplusYeqZ. isEntailed()
-
Uses of ESat in org.chocosolver.solver.constraints.unary
Methods in org.chocosolver.solver.constraints.unary that return ESat Modifier and Type Method Description ESat
PropEqualXC. isEntailed()
ESat
PropGreaterOrEqualXC. isEntailed()
ESat
PropLessOrEqualXC. isEntailed()
ESat
PropMember. isEntailed()
ESat
PropNotEqualXC. isEntailed()
ESat
PropNotMember. isEntailed()
-
Uses of ESat in org.chocosolver.solver.variables
Methods in org.chocosolver.solver.variables that return ESat Modifier and Type Method Description ESat
BoolVar. getBooleanValue()
-
Uses of ESat in org.chocosolver.solver.variables.impl
Methods in org.chocosolver.solver.variables.impl that return ESat Modifier and Type Method Description ESat
BoolVarImpl. getBooleanValue()
ESat
FixedBoolVarImpl. getBooleanValue()
-
Uses of ESat in org.chocosolver.solver.variables.view
Methods in org.chocosolver.solver.variables.view that return ESat Modifier and Type Method Description ESat
BoolNotView. getBooleanValue()
ESat
EqView. getBooleanValue()
ESat
LeqView. getBooleanValue()
-
Uses of ESat in org.chocosolver.util
Methods in org.chocosolver.util that return ESat Modifier and Type Method Description static ESat
ESat. eval(boolean b)
static ESat
ESat. not(ESat sat)
static ESat
ESat. valueOf(String name)
Returns the enum constant of this type with the specified name.static ESat[]
ESat. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in org.chocosolver.util with parameters of type ESat Modifier and Type Method Description static ESat
ESat. not(ESat sat)
-