Module org.chocosolver.solver

Package org.chocosolver.solver

Interface ICause

All Known Subinterfaces:

BoolVar, INeighbor, IntVar, IObjectiveManager<V>, IVariableMonitor<V>, IView<V>

All Known Implementing Classes:

AbstractCriterionBasedVariableSelector, AbstractIntObjManager, AbstractPropDistanceXYZ, AbstractView, ActivityBased, AdaptiveNeighborhood, BitsetArrayIntVarImpl, BitsetIntVarImpl, BooleanConstraint.PropBoolean, BoolEqView, BoolIntView, BoolLeqView, BoolNotView, BoolSetView, BoolVarImpl, Cause, ClauseStore, ClauseStore.SignedClause, ConflictHistorySearch, Decision, DirectedEdgeInducedSubgraphView, DirectedGraphUnionView, DirectedGraphView, DirectedNodeInducedGraphVarImpl, DirectedNodeInducedSubgraphView, DomOverWDeg, DomOverWDegRef, EdgeInducedSubgraphView, FixedBoolVarImpl, FixedIntVarImpl, GraphDecision, GraphView, IbexDecision, ImpactBased, IntDecision, IntervalIntVarImpl, IntMinusView, IntNeighbor, IntOffsetView, IntScaleView, IntView, NodeInducedSubgraphView, ParetoMaximizer, PropAbsolute, PropAcyclic, PropagationGuidedNeighborhood, Propagator, PropAllDiff, PropAllDiffAC, PropAllDiffAdaptative, PropAllDiffBC, PropAllDiffInst, PropAllDiffPrec, PropAllDisjoint, PropAllEqual, PropAMNV, PropAmongGAC, PropAntiArborescences, PropAntiSymmetric, PropArborescence, PropArborescences, PropArgmax, PropAtLeastNValues, PropAtLeastNValues_AC, PropAtMost1Empty, PropAtMostNValues, PropAtMostNValues_BC, PropBiconnected, PropBinAC2001, PropBinAC3, PropBinAC3bitrm, PropBinAC3rm, PropBinCSP, PropBinFC, PropBinPacking, PropBoolChannel, PropBoolMax, PropBoolMin, PropCardinality, PropCircuit_AntiArboFiltering, PropCircuit_ArboFiltering, PropCircuitSCC, PropClauseChanneling, PropCompactTable, PropCompactTableStar, PropCondAllDiffAC, PropCondAllDiffAdaptative, PropCondAllDiffBase, PropCondAllDiffBC, PropCondAllDiffInst, PropConditional, PropConnected, PropCostRegular, PropCount_AC, PropCountVar, PropCumulative, PropCycle, PropCycleCostSimple, PropDiameter, PropDiffN, PropDistanceXYC, PropDivXYZ, PropEdgeBoolChannel, PropElement, PropElement, PropElementV_fast, PropEnumDomainChanneling, PropEQDistanceXYZ, PropEqualX_Y, PropEqualX_YC, PropEqualXC, PropEqualXY_C, PropEquation, PropFastGCC, PropGEDistanceXYZ, PropGenericLagrDCMST, PropGirth, PropGraphCumulative, PropGreaterOrEqualX_Y, PropGreaterOrEqualX_YC, PropGreaterOrEqualXC, PropGreaterOrEqualXY_C, PropGTDistanceXYZ, PropImplied, PropInclusion, PropIncreasing, PropIncrementalAdjacencyMatrix, PropIncrementalAdjacencyUndirectedMatrix, PropIntBoundedMemberSet, PropIntChannel, PropIntCstMemberSet, PropIntCstNotMemberSet, PropIntEnumMemberSet, PropIntersection, PropIntersectionFilterSets, PropIntValuePrecedeChain, PropInverse, PropInverseChannelAC, PropInverseChannelBC, PropKeysorting, PropKLoops, PropKnapsack, PropKnapsackKatriel01, PropLagrOneTree, PropLargeCSP, PropLargeFC, PropLargeGAC2001, PropLargeGAC2001Positive, PropLargeGAC3rm, PropLargeGAC3rmPositive, PropLargeGACSTRPos, PropLargeMDDC, PropLEDistanceXYZ, PropLessOrEqualXC, PropLessOrEqualXY_C, PropLex, PropLexChain, PropLexInt, PropLocalConDis, PropLoopSet, PropLTDistanceXYZ, PropMax, PropMaxBC, PropMaxDegTree, PropMaxDegVarTree, PropMaxElement, PropMember, PropMin, PropMinBC, PropMinCostMaxFlow, PropMinElement, PropMixed, PropMixedElement, PropModXY, PropModXYZ, PropMultiCostRegular, PropNbCC, PropNbCliques, PropNbEdges, PropNbEmpty, PropNbLoops, PropNbNodes, PropNbSCC, PropNeighBoolChannel, PropNeighBoolsChannel1, PropNeighBoolsChannel2, PropNeighSetChannel, PropNeighSetsChannel1, PropNeighSetsChannel2, PropNodeBoolChannel, PropNodeBoolsChannel, PropNodeDegreeAtLeastIncr, PropNodeDegreeAtMostIncr, PropNodeDegreeVar, PropNodeSetChannel, PropNoSubtour, PropNotEmpty, PropNotEqualX_Y, PropNotEqualX_YC, PropNotEqualXC, PropNotEqualXY_C, PropNotMember, PropNotMemberIntSet, PropNotMemberSetInt, PropNValue, PropOffSet, PropOpposite, PropPowEven, PropPowOdd, PropReachability, PropRegular, PropReif, PropSat, PropScalar, PropScalarMixed, PropScalarWithLong, PropScale, PropSetIntValuesUnion, PropSignedClause, PropSizeMaxCC, PropSizeMinCC, PropSort, PropSortedIntChannel, PropSquare, PropSubcircuit, PropSubcircuitDominatorFilter, PropSubsetEq, PropSum, PropSumBool, PropSumBoolIncr, PropSumFullBool, PropSumFullBoolIncr, PropSumOfElements, PropSumWithLong, PropSymmetric, PropSymmetric, PropSymmetryBreaking, PropSymmetryBreakingEx, PropTableStr2, PropTimesNaive, PropTimesNaiveWithLong, PropTransitivity, PropTreeCostSimple, PropUnion, PropUnionVar, PropXeqCReif, PropXeqYCReif, PropXinSReif, PropXltCReif, PropXltYCReif, PropXplusYeqZ, RandomNeighborhood, RealDecision, RealPropagator, RealView, ReversePropagationGuidedNeighborhood, RootDecision, SequenceNeighborhood, SetBoolsView, SetDecision, SetDifferenceView, SetGraphView, SetIntersectionView, SetIntsView, SetNodeGraphView, SetPredecessorsGraphView, SetRandomNeighbor, SetSuccessorsGraphView, SetTimes, SetUnionView, SetView, Solution, UndirectedGraphUnionView, UndirectedGraphView, UndirectedNodeInducedGraphVarImpl

public interface ICause

This interface describes services of smallest element which can act on variables. As an example, propagator is a cause because it filters values from variable domain. So do decision, objective manager, etc. It has an impact on domain variables and so it can fails.

Since:

26 oct. 2010

Author:

Charles Prud'homme

Method Summary

Modifier and Type	Method	Description
default void	explain(int pivot, ExplanationForSignedClause explanation)	Clausal explanation for this cause.
default void	forEachIntVar(java.util.function.Consumer<IntVar> action)	Apply an action on each variable declared on the scope of this cause, if any.

Method Detail

explain

default void explain(int pivot,
                     ExplanationForSignedClause explanation)

Clausal explanation for this cause.

This method must filled explanations with inferred literals. These literals are inferred from the analysis of (a subset of) conflicting nodes stored in front, the implication graph ig and the current node in conflict, not yet contained in front.

Optionally, this method can update front by looking for a predecessor of any node that seems more relevant than the declared one.

Parameters:

pivot - the pivot node out of front

explanation - explanation to compute

forEachIntVar

default void forEachIntVar(java.util.function.Consumer<IntVar> action)

Apply an action on each variable declared on the scope of this cause, if any.

Parameters:

action - action to perform on each variable declared in this cause.