Class LubyCalculator

java.lang.Object
org.jacop.search.restart.Calculator
org.jacop.search.restart.LubyCalculator
All Implemented Interfaces:
ConsistencyListener

public class LubyCalculator extends Calculator
Defines functionality for constant calculator for restart search.
Version:
4.10
  • Field Details

    • scale

      long scale
    • n

      int n
  • Constructor Details

    • LubyCalculator

      public LubyCalculator(int scale)
  • Method Details

    • newLimit

      public void newLimit()
      Specified by:
      newLimit in class Calculator
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getLuby

      public int getLuby(int i)