jp.kobe_u.copris

CSP

case class CSP (variables: Seq[Var], bools: Seq[Bool], dom: Map[Var, Domain], constraints: Seq[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

Linear Supertypes
Serializable, Serializable, Product, Equals, CSPTrait, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. CSP
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. CSPTrait
  7. AnyRef
  8. Any
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: Seq[Var], bools: Seq[Bool], dom: Map[Var, Domain], constraints: Seq[Constraint])

    variables

    integer variables

    bools

    Boolean variables

    dom

    domains of integer variables

    constraints

    constraints

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. 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. def asInstanceOf [T0] : T0

    Attributes
    final
    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. var bools : Seq[Bool]

    Boolean variables

  12. def boolsDelta : Seq[Bool]

    Returns the Boolean variables added after the last commit.

  13. def canEqual (arg0: Any): Boolean

    Definition Classes
    CSP → Equals
  14. def cancel : Unit

    Cancels the changes made for the CSP.

  15. def clone (): AnyRef

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

    Commits the changes made for the CSP.

  17. var constraints : Seq[Constraint]

    constraints

  18. def constraintsDelta : Seq[Constraint]

    Returns the constraints added after the last commit.

  19. var dom : Map[Var, Domain]

    domains of integer variables

  20. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  21. def equals (arg0: Any): Boolean

    Definition Classes
    CSP → Equals → AnyRef → Any
  22. def finalize (): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef → Any
  24. def hashCode (): Int

    Definition Classes
    CSP → AnyRef → Any
  25. def init : Unit

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

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

    Adds an integer variable

    Adds an integer variable

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds integer variables

    Adds integer variables

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

    Adds an integer variable

    Adds an integer variable

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

    Adds an integer variable

    Adds an integer variable

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

    Adds an integer variable

    Adds an integer variable

    Definition Classes
    CSPTrait
  34. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  35. def isMaximize : Boolean

    Returns true when the maximization is specified

  36. def isMinimize : Boolean

    Returns true when the minimization is specified

  37. def maximize (x: Var): Var

    Specifies the objective variable to be maximized

    Specifies the objective variable to be maximized

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

    Specifies the objective variable to be minimized

    Specifies the objective variable to be minimized

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

    Attributes
    final
    Definition Classes
    AnyRef
  40. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  41. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  42. var objective : Var

    Objective variable.

    Objective variable. null if not defined

  43. def output : String

    Returns the readable String representation of the CSP

  44. def productArity : Int

    Definition Classes
    CSP → Product
  45. def productElement (arg0: Int): Any

    Definition Classes
    CSP → Product
  46. def productIterator : Iterator[Any]

    Definition Classes
    Product
  47. def productPrefix : String

    Definition Classes
    CSP → Product
  48. 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
  49. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  50. def toString (): String

    Definition Classes
    CSP → AnyRef → Any
  51. var variables : Seq[Var]

    integer variables

  52. def variablesDelta : Seq[Var]

    Returns the integer variables added after the last commit.

  53. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def productElements : Iterator[Any]

    Definition Classes
    Product
    Annotations
    @deprecated
    Deprecated

    use productIterator instead

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from CSPTrait

Inherited from AnyRef

Inherited from Any