constraints.tests

BigSudokuGen

object BigSudokuGen extends SimpleSwingApplication with SearchEngineTrait with StopWatch

Sudoku generator on NxN grids where N is a Square This is a N coloring Problem but a specific heuristic is used here - this is a generator assuming an empty grid - solution proceeds by working on the internal Square - AllDiff on Squares are kept invariant (initialisation + swap strategy) - best delta is used and switch cells are added to tabu

Linear Supertypes
StopWatch, SearchEngineTrait, SimpleSwingApplication, SwingApplication, Reactor, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. BigSudokuGen
  2. StopWatch
  3. SearchEngineTrait
  4. SimpleSwingApplication
  5. SwingApplication
  6. Reactor
  7. AnyRef
  8. Any
Visibility
  1. Public
  2. All

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. val C : Int

  7. val Indexes : Range

  8. val LinearIndexes : Range

  9. val M : Int

  10. val MAX_IT : Int

  11. val N : Int

  12. val PAUSE : Int

  13. lazy val Problem16 : Array[Int]

  14. lazy val Problem36 : Array[Int]

  15. lazy val Problem9 : Array[Int]

  16. lazy val Problem9_1 : Array[Int]

  17. lazy val Problem9_3 : Array[Int]

  18. lazy val Problem9_4 : Array[Int]

  19. var Randomized : Boolean

    Definition Classes
    SearchEngineTrait

  20. val Square : Array[Array[Int]]

  21. val SquareOf : Array[Int]

  22. val SubIndexes : Range

  23. val TABU_LENGTH : Int

  24. val Values : Range

  25. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  26. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  27. def deafTo (ps: Publisher*): Unit

    Definition Classes
    Reactor

  28. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  29. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  30. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. def flip : Boolean

    returns a randomly chosen boolean (50%-50%)

    returns a randomly chosen boolean (50%-50%)

    Definition Classes
    SearchEngineTrait

  32. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  33. def getRandomPermutation (N: Int): Iterator[Int]

    returns a random permutation of the integers in [0; N]

    returns a random permutation of the integers in [0; N]

    Definition Classes
    SearchEngineTrait

  34. def getWatch : Long

    returns the time elapsed since the last call to startWatch.

    returns the time elapsed since the last call to startWatch. time is wall clock time in milliseconds

    Definition Classes
    StopWatch

  35. def getWatchString : String

    returns a string describing the time elapsed since last startWatch formatted for humans: hh:mm:ss:ms

    returns a string describing the time elapsed since last startWatch formatted for humans: hh:mm:ss:ms

    Definition Classes
    StopWatch

  36. def hashCode (): Int

    Definition Classes
    AnyRef → Any

  37. def initSquares (): Unit

    Initialisazing function to track Squares

  38. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  39. def listenTo (ps: Publisher*): Unit

    Definition Classes
    Reactor

  40. def main (args: Array[String]): Unit

    Definition Classes
    SwingApplication

  41. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  42. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  43. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  44. def quit (): Unit

    Definition Classes
    SwingApplication

  45. val reactions : Reactions

    Definition Classes
    Reactor

  46. def resourceFromClassloader (path: String): URL

    Definition Classes
    SimpleSwingApplication

  47. def resourceFromUserDirectory (path: String): File

    Definition Classes
    SimpleSwingApplication

  48. def selectFirst [R] (r: Iterable[R], st: (R) ⇒ Boolean): R

    return the first element r that is allowed: st(r) is true

    return the first element r that is allowed: st(r) is true

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  49. def selectFirst2 [R, S] (r: Iterable[R], s: Iterable[S], st: (R, S) ⇒ Boolean): (R, S)

    return the first couple of elements (r,s) that is allowed: st(r) is true the order is lexicographic

    return the first couple of elements (r,s) that is allowed: st(r) is true the order is lexicographic

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  50. def selectFrom [R] (r: Iterable[R], st: (R) ⇒ Boolean): R

    return an element r that is allowed: st(r) is true this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return an element r that is allowed: st(r) is true this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  51. def selectFrom2 [R, S] (r: Iterable[R], s: Iterable[S], st: (R, S) ⇒ Boolean): (R, S)

    return a couple (r,s) of elements r that is allowed: st(r,s) is true this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return a couple (r,s) of elements r that is allowed: st(r,s) is true this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  52. def selectFromRange (r: Range): Int

    return an element of the range.

    return an element of the range. IT is selected randomly with a uniform distribution this is performed in O(1)

    Definition Classes
    SearchEngineTrait

  53. def selectMax [R] (r: Iterable[R], f: (R) ⇒ Int, st: (R) ⇒ Boolean): R

    return an element r that is allowed: st(r) is true, and maximizing f(r) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return an element r that is allowed: st(r) is true, and maximizing f(r) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  54. def selectMax2 [R, S] (r: Iterable[R], s: Iterable[S], f: (R, S) ⇒ Int, st: (R, S) ⇒ Boolean): (R, S)

    return a couple (r,s) that is allowed: st(r,s) is true, and maximizing f(r,s) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return a couple (r,s) that is allowed: st(r,s) is true, and maximizing f(r,s) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  55. def selectMaxNR [R] (r: Iterable[R], f: (R) ⇒ Int, st: (R) ⇒ Boolean): R

    return an element r that is allowed: st(r) is true, and maximizing f(r) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    return an element r that is allowed: st(r) is true, and maximizing f(r) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  56. def selectMaxNR2 [R, S] (r: Iterable[R], s: Iterable[S], f: (R, S) ⇒ Int, st: (R, S) ⇒ Boolean): (R, S)

    return a couple (r,s) that is allowed: st(r,s) is true, and maximizing f(r,s) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    return a couple (r,s) that is allowed: st(r,s) is true, and maximizing f(r,s) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  57. def selectMin [R] (r: Iterable[R], f: (R) ⇒ Int, st: (R) ⇒ Boolean): R

    return an element r that is allowed: st(r) is true, and minimizing f(r) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return an element r that is allowed: st(r) is true, and minimizing f(r) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  58. def selectMin2 [R, S] (r: Iterable[R], s: Iterable[S], f: (R, S) ⇒ Int, st: (R, S) ⇒ Boolean): (R, S)

    return a couple (r,s) that is allowed: st(r,s) is true, and minimizing f(r,s) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    return a couple (r,s) that is allowed: st(r,s) is true, and minimizing f(r,s) among the allowed couples this selector is randomized; in case of tie breaks the returned one is chosen randomly

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  59. def selectMinNR [R] (r: Iterable[R], f: (R) ⇒ Int, st: (R) ⇒ Boolean): R

    return an element r that is allowed: st(r) is true, and minimizing f(r) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    return an element r that is allowed: st(r) is true, and minimizing f(r) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  60. def selectMinNR2 [R, S] (r: Iterable[R], s: Iterable[S], f: (R, S) ⇒ Int, st: (R, S) ⇒ Boolean): (R, S)

    return a couple (r,s) that is allowed: st(r,s) is true, and minimizing f(r,s) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    return a couple (r,s) that is allowed: st(r,s) is true, and minimizing f(r,s) among the allowed couples this selector is not randomized; in case of tie breaks the first one is returned

    st

    is optional and set to true if not specified

    Definition Classes
    SearchEngineTrait

  61. def setRandomized (Randomized: Boolean): Unit

    Definition Classes
    SearchEngineTrait

  62. def showGrid (tab: Array[IntVar], N: Int): Unit

  63. def shutdown (): Unit

    Definition Classes
    SwingApplication

  64. def solve (): Unit

  65. def startWatch (): Unit

    starts or resets the stopwatch

    starts or resets the stopwatch

    Definition Classes
    StopWatch

  66. def startup (args: Array[String]): Unit

    Definition Classes
    SimpleSwingApplication → SwingApplication

  67. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  68. val tab : Array[Array[Label]]

  69. def toString (): String

    Definition Classes
    AnyRef → Any

  70. def top : MainFrame

    Definition Classes
    BigSudokuGen → SimpleSwingApplication

  71. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  72. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  73. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from StopWatch

Inherited from SearchEngineTrait

Inherited from SimpleSwingApplication

Inherited from SwingApplication

Inherited from Reactor

Inherited from AnyRef

Inherited from Any