choco.cp.solver.constraints.global.scheduling.disjunctive
Interface IDisjRules
- All Known Implementing Classes:
- AbstractDisjRules, AltDisjRules, DisjRules
public interface IDisjRules
The interface represents the classical filtering rules for an unary resource.
- Since:
- 23 févr. 2009 version 2.0.3
- Version:
- 2.0.3
- Author:
- Arnaud Malapert
initialize
void initialize()
fireDomainChanged
void fireDomainChanged()
isActive
boolean isActive()
overloadChecking
void overloadChecking()
throws ContradictionException
- Throws:
ContradictionException
notFirst
boolean notFirst()
throws ContradictionException
- Throws:
ContradictionException
notLast
boolean notLast()
throws ContradictionException
- Throws:
ContradictionException
notFirstNotLast
boolean notFirstNotLast()
throws ContradictionException
- Throws:
ContradictionException
detectablePrecedenceEST
boolean detectablePrecedenceEST()
throws ContradictionException
- Throws:
ContradictionException
detectablePrecedenceLCT
boolean detectablePrecedenceLCT()
throws ContradictionException
- Throws:
ContradictionException
detectablePrecedence
boolean detectablePrecedence()
throws ContradictionException
- Throws:
ContradictionException
edgeFindingEST
boolean edgeFindingEST()
throws ContradictionException
- Throws:
ContradictionException
edgeFindingLCT
boolean edgeFindingLCT()
throws ContradictionException
- Throws:
ContradictionException
edgeFinding
boolean edgeFinding()
throws ContradictionException
- Throws:
ContradictionException
remove
void remove(IRTask rtask)
- optional operation
Copyright © 2012. All Rights Reserved.