Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def activeConstraints(v: Variable): BitVector

   Definition Classes

   ProblemState → Outcome

5.  def andThen(f: (ProblemState) ⇒ Outcome): Outcome

   Definition Classes

   ProblemState → Outcome

6.  def apply[S <: AnyRef](c: StatefulConstraint[S]): S

   Definition Classes

   ProblemState → Outcome

7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def assign(v: Variable, value: Int): ProblemState

   Definition Classes

   ProblemState → Outcome

9.  def card(v: Variable): Int

   Definition Classes

   Outcome

10.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

11.  val constraintStates: Vector[AnyRef]
12.  val data: IdentityMap[Any, Any]
13.  def dom(v: Variable): Domain

    Definition Classes

    ProblemState → Outcome

14.  val domains: Vector[Domain]
15.  def doms(vs: Array[Variable]): Array[Domain]

    Definition Classes

    Outcome

16.  def dueTo(cause: ⇒ (Constraint, Traversable[Variable])): ProblemState

    Definition Classes

    ProblemState → Outcome

17.  def entail(c: Constraint): ProblemState

    Definition Classes

    ProblemState → Outcome

18.  def entail(c: Constraint, i: Int): ProblemState

    Definition Classes

    ProblemState → Outcome

19.  def entailIf(c: Constraint, f: (ProblemState) ⇒ Boolean): ProblemState

    Definition Classes

    ProblemState → Outcome

20.  def entailIfFree(c: Constraint, doms: Array[Domain]): ProblemState

    Definition Classes

    ProblemState → Outcome

21.  def entailIfFree(c: Constraint): ProblemState

    Definition Classes

    ProblemState → Outcome

22.  val entailed: EntailmentManager
23.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

24.  def filterBounds(v: Variable)(f: (Int) ⇒ Boolean): Outcome

    Definition Classes

    ProblemState → Outcome

25.  def filterDom(v: Variable)(f: (Int) ⇒ Boolean): Outcome

    Definition Classes

    ProblemState → Outcome

26.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

27.  def fold[A](s: Traversable[A])(f: (ProblemState, A) ⇒ Outcome): Outcome

    Definition Classes

    Outcome

28.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

29.  def getData[A](key: Any): A
30.  def intersectDom(v: Variable, d: Domain): Outcome

    Definition Classes

    Outcome

31.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

32.  def isState: Boolean

    Definition Classes

    ProblemState → Outcome

33.  lazy val logger: Logger

    Attributes

    protected

    Definition Classes

    LazyLogging

34.  def map[A](f: (ProblemState) ⇒ A): Some[A]

    Definition Classes

    ProblemState → Outcome

35.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

36.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

37.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

38.  def orElse[A >: ProblemState](f: ⇒ A): A

    Definition Classes

    ProblemState → Outcome

39.  def padConstraints(constraints: Seq[Constraint], lastId: Int): Outcome
40.  def remove(v: Variable, value: Int): Outcome

    Definition Classes

    ProblemState → Outcome

41.  def removeAfter(v: Variable, lb: Int): Outcome

    Definition Classes

    ProblemState → Outcome

42.  def removeFrom(v: Variable, lb: Int): Outcome

    Definition Classes

    ProblemState → Outcome

43.  def removeIfPresent(v: Variable, value: Int): Outcome
44.  def removeTo(v: Variable, ub: Int): Outcome

    Definition Classes

    ProblemState → Outcome

45.  def removeUntil(v: Variable, ub: Int): Outcome

    Definition Classes

    ProblemState → Outcome

46.  def shaveDom(v: Variable, lb: Int, ub: Int): Outcome

    Definition Classes

    ProblemState → Outcome

47.  def shaveDom(v: Variable, itv: Interval): Outcome

    Definition Classes

    Outcome

48.  def shaveDomNonEmpty(variable: Variable, itv: Interval): ProblemState
49.  def span(v: Variable): Interval

    Definition Classes

    Outcome

50.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

51.  def toState: ProblemState

    Definition Classes

    ProblemState → Outcome

52.  def tryAssign(v: Variable, value: Int): Outcome
53.  def updateData(key: Any, value: Any): ProblemState
54.  def updateDom(v: Variable, newDomain: Domain): Outcome

    Definition Classes

    ProblemState → Outcome

55.  def updateDomNonEmpty(variable: Variable, newDomain: Domain): ProblemState
56.  def updateDomNonEmptyNoCheck(variable: Variable, newDomain: Domain): ProblemState
57.  def updateState[S <: AnyRef](c: StatefulConstraint[S], newState: S): ProblemState

    Definition Classes

    ProblemState → Outcome

58.  def wDeg(v: Variable): Int
59.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

60.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

61.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )