search

conflictSearch

object conflictSearch extends SearchEngine

generic search procedure selects most violated variable, and assigns value that minimizes overall violation

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. conflictSearch
  2. SearchEngine
  3. SearchEngineTrait
  4. AnyRef
  5. 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. var Randomized : Boolean

    Definition Classes
    SearchEngineTrait
  7. def apply (c: ConstraintSystem, MaxIt: Int): Unit

    Performs a conflict search on the constraint system selects most violated variable, and assigns value that minimizes overall violation

    Performs a conflict search on the constraint system selects most violated variable, and assigns value that minimizes overall violation

    Beware: the constraint system can only constraint IntVar, no other types of variables are tolerated

    c

    the constraint system: the searched variables sill be the ones that are constrained by it

    MaxIt

    the maximal number of iterations

  8. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  9. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  11. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  12. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  13. def flip : Boolean

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

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

    Definition Classes
    SearchEngineTrait
  14. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  15. 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
  16. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  17. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  18. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  19. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  20. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. def setRandomized (Randomized: Boolean): Unit

    Definition Classes
    SearchEngineTrait
  35. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  36. def toString (): String

    Definition Classes
    AnyRef → Any
  37. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  38. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  39. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from SearchEngine

Inherited from SearchEngineTrait

Inherited from AnyRef

Inherited from Any