Packages

case class CSP(variables: IndexedSeq[Var] = IndexedSeq(), bools: IndexedSeq[Bool] = IndexedSeq(), dom: Map[Var, Domain] = Map(), constraints: IndexedSeq[Constraint] = IndexedSeq()) extends CSPTrait with Product with Serializable

Case class of CSP (Constraint Satisfaction Problem)

variables

integer variables

bools

Boolean variables

dom

domains of integer variables

constraints

constraints case class CSP(var variables: Seq[Var] = Seq.empty, var bools: Seq[Bool] = Seq.empty, var dom: Map[Var,Domain] = Map.empty, var constraints: Seq[Constraint] = Seq.empty)

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

Instance Constructors

  1. new CSP(csp0: CSP)

    Creates a copy of the given CSP

    Creates a copy of the given CSP

    csp0

    original CSP

  2. new CSP(variables: IndexedSeq[Var] = IndexedSeq(), bools: IndexedSeq[Bool] = IndexedSeq(), dom: Map[Var, Domain] = Map(), constraints: IndexedSeq[Constraint] = IndexedSeq())

    variables

    integer variables

    bools

    Boolean variables

    dom

    domains of integer variables

    constraints

    constraints case class CSP(var variables: Seq[Var] = Seq.empty, var bools: Seq[Bool] = Seq.empty, var dom: Map[Var,Domain] = Map.empty, var constraints: Seq[Constraint] = Seq.empty)

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 add(cs: Constraint*): Unit

    Adds constraints

    Adds constraints

    Definition Classes
    CSPCSPTrait
  5. def add(cs: Iterable[Constraint]): Unit

    Adds constraints

    Adds constraints

    Definition Classes
    CSPTrait
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def bool(p: Bool): Bool

    Adds a Boolean variable

    Adds a Boolean variable

    Definition Classes
    CSPCSPTrait
  8. def bool(ps: Iterable[Bool]): Iterable[Bool]

    Adds Boolean variables

    Adds Boolean variables

    Definition Classes
    CSPTrait
  9. def boolInt(x: Var): Var

    Adds a 0-1 integer variable

    Adds a 0-1 integer variable

    Definition Classes
    CSPCSPTrait
  10. def boolInt(xs: Iterable[Term]): Iterable[Term]

    Adds 0-1 integer variables

    Adds 0-1 integer variables

    Definition Classes
    CSPTrait
  11. var bools: IndexedSeq[Bool]
  12. def boolsDelta: IndexedSeq[Bool]

    Returns the Boolean variables added after the last commit.

  13. def cancel: Unit

    Cancels the changes made for the CSP.

  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  15. def commit: Unit

    Commits the changes made for the CSP.

  16. var constraints: IndexedSeq[Constraint]
  17. def constraintsDelta: IndexedSeq[Constraint]

    Returns the constraints added after the last commit.

  18. var dom: Map[Var, Domain]
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. def init: Unit

    Resets the CSP by setting variables, bools, dom, and constraints to be empty.

  22. def int(x: Var, d: Domain): Var

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPCSPTrait
  23. def int(xs: Iterable[Term], value: Int): Iterable[Term]

    Adds integer variables

    Adds integer variables

    Definition Classes
    CSPTrait
  24. def int(xs: Iterable[Term], lo: Int, hi: Int): Iterable[Term]

    Adds integer variables

    Adds integer variables

    Definition Classes
    CSPTrait
  25. def int(xs: Iterable[Term], d: Set[Int]): Iterable[Term]

    Adds integer variables

    Adds integer variables

    Definition Classes
    CSPTrait
  26. def int(xs: Iterable[Term], d: Domain): Iterable[Term]

    Adds integer variables

    Adds integer variables

    Definition Classes
    CSPTrait
  27. def int(x: Var, value: Int): Var

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPTrait
  28. def int(x: Var, lo: Int, hi: Int): Var

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPTrait
  29. def int(x: Var, d: Set[Int]): Var

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPTrait
  30. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  31. def isMaximize: Boolean

    Returns true when the maximization is specified

  32. def isMinimize: Boolean

    Returns true when the minimization is specified

  33. def maximize(x: Var): Var

    Specifies the objective variable to be maximized

    Specifies the objective variable to be maximized

    Definition Classes
    CSPCSPTrait
  34. def minimize(x: Var): Var

    Specifies the objective variable to be minimized

    Specifies the objective variable to be minimized

    Definition Classes
    CSPCSPTrait
  35. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  36. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  37. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  38. var objective: Var

    Objective variable.

    Objective variable. null if not defined

  39. def output: String

    Returns the readable String representation of the CSP

  40. def satisfiedBy(solution: Solution): Boolean

    Checks whether the CSP is satisfied by the solution

    Checks whether the CSP is satisfied by the solution

    Definition Classes
    CSPCSPTrait
  41. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  42. var variables: IndexedSeq[Var]
  43. def variablesDelta: IndexedSeq[Var]

    Returns the integer variables added after the last commit.

  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  46. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from CSPTrait

Inherited from AnyRef

Inherited from Any

Ungrouped