conflictSearch

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()