Module org.chocosolver.solver

Package org.chocosolver.solver.variables

Class IncidentSet.SuccessorsSet

java.lang.Object

org.chocosolver.solver.variables.IncidentSet.SuccessorsSet

All Implemented Interfaces:

IncidentSet

Enclosing interface:

IncidentSet

public static class IncidentSet.SuccessorsSet
extends java.lang.Object
implements IncidentSet

Nested Class Summary

Nested classes/interfaces inherited from interface org.chocosolver.solver.variables.IncidentSet

IncidentSet.PredecessorsSet, IncidentSet.SuccessorsSet

Constructor Summary

Constructors

Constructor	Description
SuccessorsSet()

Method Summary

Modifier and Type	Method	Description
boolean	enforce(GraphVar g, int from, int to, ICause cause)
ISet	getMandatorySet(GraphVar graph, int i)
ISet	getPotentialSet(GraphVar graph, int i)
boolean	remove(GraphVar g, int from, int to, ICause cause)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SuccessorsSet

public SuccessorsSet()

Method Detail

getPotentialSet

public ISet getPotentialSet(GraphVar graph,
                            int i)

Specified by:

getPotentialSet in interface IncidentSet

getMandatorySet

public ISet getMandatorySet(GraphVar graph,
                            int i)

Specified by:

getMandatorySet in interface IncidentSet

enforce

public boolean enforce(GraphVar g,
                       int from,
                       int to,
                       ICause cause)
                throws ContradictionException

Specified by:

enforce in interface IncidentSet

Throws:

ContradictionException

remove

public boolean remove(GraphVar g,
                      int from,
                      int to,
                      ICause cause)
               throws ContradictionException

Specified by:

remove in interface IncidentSet

Throws:

ContradictionException