case class Contradiction(cause: Option[Constraint], from: Seq[Variable], to: Seq[Variable]) extends Outcome with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Outcome, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Contradiction
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Outcome
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Contradiction(cause: Option[Constraint], from: Seq[Variable], to: Seq[Variable])

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
    Contradiction → Outcome
  5. def andThen(f: (ProblemState) ⇒ Outcome): Outcome
    Definition Classes
    Contradiction → Outcome
  6. def apply[S <: AnyRef](c: StatefulConstraint[S]): S
    Definition Classes
    Contradiction → Outcome
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def assign(v: Variable, value: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  9. def card(v: Variable): Int
    Definition Classes
    Outcome
  10. val cause: Option[Constraint]
  11. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  12. def dom(v: Variable): Domain
    Definition Classes
    Contradiction → Outcome
  13. def doms(vs: Array[Variable]): Array[Domain]
    Definition Classes
    Outcome
  14. def dueTo(cause: ⇒ (Constraint, Traversable[Variable])): Contradiction
    Definition Classes
    Contradiction → Outcome
  15. def entail(c: Constraint, i: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  16. def entail(c: Constraint): Outcome
    Definition Classes
    Contradiction → Outcome
  17. def entailIf(c: Constraint, f: (ProblemState) ⇒ Boolean): Outcome
    Definition Classes
    Contradiction → Outcome
  18. def entailIfFree(c: Constraint, doms: Array[Domain]): Outcome
    Definition Classes
    Contradiction → Outcome
  19. def entailIfFree(c: Constraint): Outcome
    Definition Classes
    Contradiction → Outcome
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def filterBounds(v: Variable)(f: (Int) ⇒ Boolean): Outcome
    Definition Classes
    Contradiction → Outcome
  22. def filterDom(v: Variable)(f: (Int) ⇒ Boolean): Outcome
    Definition Classes
    Contradiction → Outcome
  23. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. def fold[A](s: Traversable[A])(f: (ProblemState, A) ⇒ Outcome): Outcome
    Definition Classes
    Outcome
  25. val from: Seq[Variable]
  26. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def intersectDom(v: Variable, d: Domain): Outcome
    Definition Classes
    Outcome
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. def isState: Boolean
    Definition Classes
    Contradiction → Outcome
  30. def map[A](f: (ProblemState) ⇒ A): Option[A]
    Definition Classes
    Contradiction → Outcome
  31. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  34. def orElse[A >: ProblemState](f: ⇒ A): A
    Definition Classes
    Contradiction → Outcome
  35. def remove(v: Variable, value: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  36. def removeAfter(v: Variable, lb: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  37. def removeFrom(v: Variable, lb: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  38. def removeTo(v: Variable, ub: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  39. def removeUntil(v: Variable, ub: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  40. def shaveDom(v: Variable, lb: Int, ub: Int): Outcome
    Definition Classes
    Contradiction → Outcome
  41. def shaveDom(v: Variable, itv: Interval): Outcome
    Definition Classes
    Outcome
  42. def span(v: Variable): Interval
    Definition Classes
    Outcome
  43. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  44. val to: Seq[Variable]
  45. def toState: Nothing
    Definition Classes
    Contradiction → Outcome
  46. def updateDom(v: Variable, d: Domain): Outcome
    Definition Classes
    Contradiction → Outcome
  47. def updateState[S <: AnyRef](c: StatefulConstraint[S], newState: S): Outcome
    Definition Classes
    Contradiction → Outcome
  48. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  50. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Outcome

Inherited from AnyRef

Inherited from Any

Ungrouped