Class SGMPCSCalculator<T extends Var>

java.lang.Object
org.jacop.search.sgmpcs.SGMPCSCalculator<T>
All Implemented Interfaces:
ConsistencyListener

public class SGMPCSCalculator<T extends Var> extends Object implements ConsistencyListener
Defines functionality for SGMPCS search
Version:
4.8
  • Field Details

    • numberFails

      int numberFails
    • failLimit

      int failLimit
  • Constructor Details

    • SGMPCSCalculator

      public SGMPCSCalculator(int limit)
  • Method Details

    • executeAfterConsistency

      public boolean executeAfterConsistency(boolean consistent)
      It is executed right after consistency of the current search node. The return code specifies if the search should continue with or exit the current search node.
      Specified by:
      executeAfterConsistency in interface ConsistencyListener
      Parameters:
      consistent - specifies if the consistency call returned true or false.
      Returns:
      true if the search should continue, false if the search should act as the consistency returned false.
    • setFailLimit

      public void setFailLimit(int limit)
    • getFailLimit

      public int getFailLimit()
    • getNumberFails

      public int getNumberFails()
    • setChildrenListeners

      public void setChildrenListeners(ConsistencyListener[] children)
      Description copied from interface: ConsistencyListener
      Each of the child listeners will be called and the return code from them will be combined (taken into account) by a parent).
      Specified by:
      setChildrenListeners in interface ConsistencyListener
      Parameters:
      children - the children listeners attached to this listener.
    • setChildrenListeners

      public void setChildrenListeners(ConsistencyListener child)
      Description copied from interface: ConsistencyListener
      Setting one child listener.
      Specified by:
      setChildrenListeners in interface ConsistencyListener
      Parameters:
      child - the only child listener added to this consistency listener.