jp.kobe_u.copris

CSP

case class CSP(variables: IndexedSeq[Var] = ..., bools: IndexedSeq[Bool] = ..., dom: Map[Var, Domain] = ..., constraints: IndexedSeq[Constraint] = ...) 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
Learn more about member selection
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] = ..., bools: IndexedSeq[Bool] = ..., dom: Map[Var, Domain] = ..., constraints: IndexedSeq[Constraint] = ...)

    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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def add(cs: Constraint*): Unit

    Adds constraints

    Adds constraints

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

    Adds constraints

    Adds constraints

    Definition Classes
    CSPTrait
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. def bool(p: Bool): Bool

    Adds a Boolean variable

    Adds a Boolean variable

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

    Adds Boolean variables

    Adds Boolean variables

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

    Adds a 0-1 integer variable

    Adds a 0-1 integer variable

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

    Adds 0-1 integer variables

    Adds 0-1 integer variables

    Definition Classes
    CSPTrait
  13. var bools: IndexedSeq[Bool]

    Boolean variables

  14. def boolsDelta: IndexedSeq[Bool]

    Returns the Boolean variables added after the last commit.

  15. def cancel: Unit

    Cancels the changes made for the CSP.

  16. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  17. def commit: Unit

    Commits the changes made for the CSP.

  18. var constraints: IndexedSeq[Constraint]

    constraints case class CSP(var variables: Seq[Var] = Seq.

    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)

  19. def constraintsDelta: IndexedSeq[Constraint]

    Returns the constraints added after the last commit.

  20. var dom: Map[Var, Domain]

    domains of integer variables

  21. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  22. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  24. def init: Unit

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

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

    Adds an integer variable

    Adds an integer variable

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds an integer variable

    Adds an integer variable

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

    Adds an integer variable

    Adds an integer variable

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

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPTrait
  33. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  34. def isMaximize: Boolean

    Returns true when the maximization is specified

  35. def isMinimize: Boolean

    Returns true when the minimization is specified

  36. def maximize(x: Var): Var

    Specifies the objective variable to be maximized

    Specifies the objective variable to be maximized

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

    Specifies the objective variable to be minimized

    Specifies the objective variable to be minimized

    Definition Classes
    CSPCSPTrait
  38. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  39. final def notify(): Unit

    Definition Classes
    AnyRef
  40. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  41. var objective: Var

    Objective variable.

    Objective variable. null if not defined

  42. def output: String

    Returns the readable String representation of the CSP

  43. 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
  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  45. var variables: IndexedSeq[Var]

    integer variables

  46. def variablesDelta: IndexedSeq[Var]

    Returns the integer variables added after the last commit.

  47. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from CSPTrait

Inherited from AnyRef

Inherited from Any

Ungrouped