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

Method Summary
 boolean detectablePrecedence()
           
 boolean detectablePrecedenceEST()
           
 boolean detectablePrecedenceLCT()
           
 boolean edgeFinding()
           
 boolean edgeFindingEST()
           
 boolean edgeFindingLCT()
           
 void fireDomainChanged()
           
 void initialize()
           
 boolean isActive()
           
 boolean notFirst()
           
 boolean notFirstNotLast()
           
 boolean notLast()
           
 void overloadChecking()
           
 void remove(IRTask rtask)
          optional operation
 

Method Detail

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.