Modifier and Type | Method and Description |
---|---|
ESat |
PropSat.isEntailed() |
ESat |
PropNogoods.isEntailed() |
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 |
PropSquare.isEntailed() |
ESat |
PropScale.isEntailed() |
ESat |
PropNotEqualXY_C.isEntailed() |
ESat |
PropNotEqualX_YC.isEntailed() |
ESat |
PropNotEqualX_Y.isEntailed() |
ESat |
PropLessOrEqualXY_C.isEntailed() |
ESat |
PropGreaterOrEqualXY_C.isEntailed() |
ESat |
PropGreaterOrEqualX_YC.isEntailed() |
ESat |
PropGreaterOrEqualX_Y.isEntailed() |
ESat |
PropEqualXY_C.isEntailed() |
ESat |
PropEqualX_YC.isEntailed() |
ESat |
PropEqualX_Y.isEntailed() |
ESat |
PropDistanceXYC.isEntailed() |
ESat |
PropAbsolute.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 |
PropTableStr2.isEntailed() |
ESat |
PropLargeMDDC.isEntailed() |
ESat |
PropLargeCSP.isEntailed() |
ESat |
PropCompactTable.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropKnapsack.isEntailed() |
ESat |
PropKLoops.isEntailed() |
ESat |
PropIntValuePrecedeChain.isEntailed() |
ESat |
PropDiffN.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAllDiffInst.isEntailed() |
ESat |
PropAllDiffBC.isEntailed() |
ESat |
PropAllDiffAC.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 |
PropRegular.isEntailed() |
ESat |
PropMultiCostRegular.isEntailed() |
ESat |
PropCostRegular.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropLoadToItem.isEntailed() |
ESat |
PropItemToLoad.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropInverseChannelBC.isEntailed() |
ESat |
PropInverseChannelAC.isEntailed() |
ESat |
PropEnumDomainChanneling.isEntailed() |
ESat |
PropClauseChanneling.isEntailed() |
ESat |
PropBitChanneling.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSubcircuitDominatorFilter.isEntailed() |
ESat |
PropSubcircuit.isEntailed() |
ESat |
PropNoSubtour.isEntailed() |
ESat |
PropCircuitSCC.isEntailed() |
ESat |
PropCircuit_ArboFiltering.isEntailed() |
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 |
PropLexInt.isEntailed() |
ESat |
PropLexChain.isEntailed() |
ESat |
PropLex.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropMin.isEntailed() |
ESat |
PropMax.isEntailed() |
ESat |
PropBoolMin.isEntailed() |
ESat |
PropBoolMax.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
NogoodConstraint.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAtMostNValues_BC.isEntailed() |
ESat |
PropAtMostNValues.isEntailed() |
ESat |
PropAtLeastNValues_AC.isEntailed() |
ESat |
PropAtLeastNValues.isEntailed() |
ESat |
PropAMNV.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropSort.isEntailed() |
ESat |
PropKeysorting.isEntailed() |
Modifier and Type | Method and Description |
---|---|
protected ESat |
PropSum.check(int sumLB,
int sumUB)
Whether the current state of the scalar product is entailed
|
ESat |
PropSum.isEntailed() |
ESat |
PropScalar.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropAntiArborescences.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
RealPropagator.isEntailed() |
Modifier and Type | Method and Description |
---|---|
abstract ESat |
PropConditionnal.checkCondition()
Check a specific condition.
|
ESat |
PropXneYReif.isEntailed() |
ESat |
PropXneCReif.isEntailed() |
ESat |
PropXltYReif.isEntailed() |
ESat |
PropXltYCReif.isEntailed() |
ESat |
PropXltCReif.isEntailed() |
ESat |
PropXinSReif.isEntailed() |
ESat |
PropXgtCReif.isEntailed() |
ESat |
PropXeqYReif.isEntailed() |
ESat |
PropXeqCReif.isEntailed() |
ESat |
PropReif.isEntailed() |
ESat |
PropOpposite.isEntailed() |
ESat |
PropLocalConDis.isEntailed() |
ESat |
PropConditionnal.isEntailed() |
ESat |
LocalConstructiveDisjunction.isSatisfied() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropUnion.isEntailed() |
ESat |
PropSymmetric.isEntailed() |
ESat |
PropSumOfElements.isEntailed() |
ESat |
PropSubsetEq.isEntailed() |
ESat |
PropSetIntValuesUnion.isEntailed() |
ESat |
PropOffSet.isEntailed() |
ESat |
PropNotMemberSetInt.isEntailed() |
ESat |
PropNotMemberIntSet.isEntailed() |
ESat |
PropNotEmpty.isEntailed() |
ESat |
PropNbEmpty.isEntailed() |
ESat |
PropMinElement.isEntailed() |
ESat |
PropMaxElement.isEntailed() |
ESat |
PropInverse.isEntailed() |
ESat |
PropIntersectionFilterSets.isEntailed() |
ESat |
PropIntersection.isEntailed() |
ESat |
PropIntEnumMemberSet.isEntailed() |
ESat |
PropIntCstNotMemberSet.isEntailed() |
ESat |
PropIntCstMemberSet.isEntailed() |
ESat |
PropIntChannel.isEntailed() |
ESat |
PropIntBoundedMemberSet.isEntailed() |
ESat |
PropElement.isEntailed() |
ESat |
PropCardinality.isEntailed() |
ESat |
PropBoolChannel.isEntailed() |
ESat |
PropAtMost1Empty.isEntailed() |
ESat |
PropAllEqual.isEntailed() |
ESat |
PropAllDisjoint.isEntailed() |
ESat |
PropAllDiff.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropXplusYeqZ.isEntailed() |
ESat |
PropTimesNaive.isEntailed() |
ESat |
PropMinBC.isEntailed() |
ESat |
PropMaxBC.isEntailed() |
ESat |
PropDivXYZ.isEntailed() |
ESat |
PropDistanceXYZ.isEntailed() |
Modifier and Type | Method and Description |
---|---|
ESat |
PropNotMemberEnum.isEntailed() |
ESat |
PropNotMemberBound.isEntailed() |
ESat |
PropNotEqualXC.isEntailed() |
ESat |
PropMemberEnum.isEntailed() |
ESat |
PropMemberBound.isEntailed() |
ESat |
PropLessOrEqualXC.isEntailed() |
ESat |
PropGreaterOrEqualXC.isEntailed() |
ESat |
PropEqualXC.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 |
BoolNotView.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 © 2017. All rights reserved.