Modifier and Type | Method and Description |
---|---|
ESat |
PropNogoods.isEntailed() |
ESat |
PropSat.isEntailed() |
Modifier and Type | Field and Description |
---|---|
protected ESat |
Solver.feasible
Problem feasbility:
- UNDEFINED if unknown,
- TRUE if satisfiable,
- FALSE if unsatisfiable
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
abstract ESat |
Propagator.isEntailed()
Check wether
this is entailed according to the current state of its internal structure. |
ESat |
ReificationConstraint.isSatisfied() |
ESat |
Constraint.isSatisfied()
Test if this
Constraint object is satisfied,
regarding its Propagators and its Variable current domains. |
Modifier and Type | Method and Description |
---|---|
ESat |
PropNotEqualX_Y.isEntailed() |
ESat |
PropScale.isEntailed() |
ESat |
PropGreaterOrEqualX_YC.isEntailed() |
ESat |
PropGreaterOrEqualXY_C.isEntailed() |
ESat |
PropDistanceXYC.isEntailed() |
ESat |
PropLessOrEqualXY_C.isEntailed() |
ESat |
PropEqualX_YC.isEntailed() |
ESat |
PropAbsolute.isEntailed() |
ESat |
PropGreaterOrEqualX_Y.isEntailed() |
ESat |
PropNotEqualXY_C.isEntailed() |
ESat |
PropNotEqualX_YC.isEntailed() |
ESat |
PropEqualX_Y.isEntailed() |
ESat |
PropSquare.isEntailed() |
ESat |
PropEqualXY_C.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropElement.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
Tuples.check(IntVar... vars)
Checks entailment of a table constraint over vars with this Tuples object
|
Modifier and Type | Method and Description |
---|---|
ESat |
PropBinCSP.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropLargeCSP.isEntailed() |
ESat |
PropLargeMDDC.isEntailed() |
ESat |
PropTableStr2.isEntailed() |
ESat |
PropCompactTable.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropDiffN.isEntailed() |
ESat |
PropKnapsack.isEntailed() |
ESat |
PropKLoops.isEntailed() |
ESat |
PropIntValuePrecedeChain.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAllDiffAC.isEntailed() |
ESat |
PropAllDiffInst.isEntailed() |
ESat |
PropAllDiffBC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropCondAllDiffInst.isEntailed() |
ESat |
PropCondAllDiff_AC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAmongGAC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropMultiCostRegular.isEntailed() |
ESat |
PropRegular.isEntailed() |
ESat |
PropCostRegular.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropItemToLoad.isEntailed() |
ESat |
PropLoadToItem.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropBitChanneling.isEntailed() |
ESat |
PropClauseChanneling.isEntailed() |
ESat |
PropInverseChannelAC.isEntailed() |
ESat |
PropInverseChannelBC.isEntailed() |
ESat |
PropEnumDomainChanneling.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSubcircuitDominatorFilter.isEntailed() |
ESat |
PropNoSubtour.isEntailed() |
ESat |
PropSubcircuit.isEntailed() |
ESat |
PropCircuit_ArboFiltering.isEntailed() |
ESat |
PropCircuitSCC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSignedClause.isEntailed() |
ESat |
ClauseStore.isEntailed() |
ESat |
ClauseStore.SignedClause.isEntailed() |
ESat |
ClauseConstraint.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropTrue.isEntailed() |
ESat |
PropFalse.isEntailed() |
ESat |
SatConstraint.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropCountVar.isEntailed() |
ESat |
PropCount_AC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropCumulative.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropElementV_fast.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropFastGCC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropLex.isEntailed() |
ESat |
PropLexInt.isEntailed() |
ESat |
PropLexChain.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropBoolMin.isEntailed() |
ESat |
PropMin.isEntailed() |
ESat |
PropBoolMax.isEntailed() |
ESat |
PropMax.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
NogoodConstraint.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAMNV.isEntailed() |
ESat |
PropAtMostNValues.isEntailed() |
ESat |
PropAtLeastNValues_AC.isEntailed() |
ESat |
PropAtLeastNValues.isEntailed() |
ESat |
PropAtMostNValues_BC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSort.isEntailed() |
ESat |
PropKeysorting.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSum.check(int sumLB,
int sumUB)
Whether the current state of the scalar product is entailed
|
ESat |
PropScalar.isEntailed() |
ESat |
PropSum.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAntiArborescences.isEntailed() |
Modifier and Type | Method and Description |
---|---|
protected ESat |
PropScalarMixed.check(double sumLB,
double sumUB)
Whether the current state of the scalar product is entailed
|
ESat |
PropScalarMixed.isEntailed() |
ESat |
RealPropagator.isEntailed() |
Modifier and Type | Method and 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 |
PropXeqYCReif.isEntailed() |
ESat |
PropOpposite.isEntailed() |
ESat |
PropXeqCReif.isEntailed() |
ESat |
PropConditionnal.isEntailed() |
ESat |
PropXltCReif.isEntailed() |
ESat |
PropReif.isEntailed() |
ESat |
PropLocalConDis.isEntailed() |
ESat |
PropXltYCReif.isEntailed() |
ESat |
PropXinSReif.isEntailed() |
ESat |
LocalConstructiveDisjunction.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAllEqual.isEntailed() |
ESat |
PropIntEnumMemberSet.isEntailed() |
ESat |
PropNotMemberSetInt.isEntailed() |
ESat |
PropNbEmpty.isEntailed() |
ESat |
PropMinElement.isEntailed() |
ESat |
PropAllDiff.isEntailed() |
ESat |
PropElement.isEntailed() |
ESat |
PropAtMost1Empty.isEntailed() |
ESat |
PropMaxElement.isEntailed() |
ESat |
PropIntBoundedMemberSet.isEntailed() |
ESat |
PropNotMemberIntSet.isEntailed() |
ESat |
PropInverse.isEntailed() |
ESat |
PropSumOfElements.isEntailed() |
ESat |
PropIntCstNotMemberSet.isEntailed() |
ESat |
PropAllDisjoint.isEntailed() |
ESat |
PropSymmetric.isEntailed() |
ESat |
PropUnion.isEntailed() |
ESat |
PropIntCstMemberSet.isEntailed() |
ESat |
PropBoolChannel.isEntailed() |
ESat |
PropSetIntValuesUnion.isEntailed() |
ESat |
PropSubsetEq.isEntailed() |
ESat |
PropNotEmpty.isEntailed() |
ESat |
PropCardinality.isEntailed() |
ESat |
PropIntersection.isEntailed() |
ESat |
PropIntChannel.isEntailed() |
ESat |
PropIntersectionFilterSets.isEntailed() |
ESat |
PropOffSet.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropXplusYeqZ.isEntailed() |
ESat |
PropMaxBC.isEntailed() |
ESat |
PropTimesNaive.isEntailed() |
ESat |
AbstractPropDistanceXYZ.isEntailed() |
ESat |
PropDivXYZ.isEntailed() |
ESat |
PropMinBC.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropNotEqualXC.isEntailed() |
ESat |
PropLessOrEqualXC.isEntailed() |
ESat |
PropGreaterOrEqualXC.isEntailed() |
ESat |
PropMember.isEntailed() |
ESat |
PropEqualXC.isEntailed() |
ESat |
PropNotMember.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
BoolVar.getBooleanValue() |
Modifier and Type | Method and Description |
---|---|
ESat |
FixedBoolVarImpl.getBooleanValue() |
ESat |
BoolVarImpl.getBooleanValue() |
Modifier and Type | Method and Description |
---|---|
ESat |
LeqView.getBooleanValue() |
ESat |
BoolNotView.getBooleanValue() |
ESat |
EqView.getBooleanValue() |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and Description |
---|---|
static ESat |
ESat.not(ESat sat) |
Copyright © 2018. All rights reserved.