Class

jp.kobe_u.copris

CSP

Related Doc: package copris

Permalink

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)

    Permalink

    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())

    Permalink

    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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. def add(cs: Constraint*): Unit

    Permalink

    Adds constraints

    Adds constraints

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

    Permalink

    Adds constraints

    Adds constraints

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

    Permalink
    Definition Classes
    Any
  7. def bool(p: Bool): Bool

    Permalink

    Adds a Boolean variable

    Adds a Boolean variable

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

    Permalink

    Adds Boolean variables

    Adds Boolean variables

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

    Permalink

    Adds a 0-1 integer variable

    Adds a 0-1 integer variable

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

    Permalink

    Adds 0-1 integer variables

    Adds 0-1 integer variables

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

    Permalink

    Boolean variables

  12. def boolsDelta: IndexedSeq[Bool]

    Permalink

    Returns the Boolean variables added after the last commit.

  13. def cancel: Unit

    Permalink

    Cancels the changes made for the CSP.

  14. def clone(): AnyRef

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

    Permalink

    Commits the changes made for the CSP.

  16. var constraints: IndexedSeq[Constraint]

    Permalink

    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)

  17. def constraintsDelta: IndexedSeq[Constraint]

    Permalink

    Returns the constraints added after the last commit.

  18. var dom: Map[Var, Domain]

    Permalink

    domains of integer variables

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

    Permalink
    Definition Classes
    AnyRef
  20. def finalize(): Unit

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

    Permalink
    Definition Classes
    AnyRef → Any
  22. def init: Unit

    Permalink

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

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

    Permalink

    Adds an integer variable

    Adds an integer variable

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

    Permalink

    Adds integer variables

    Adds integer variables

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

    Permalink

    Adds integer variables

    Adds integer variables

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

    Permalink

    Adds integer variables

    Adds integer variables

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

    Permalink

    Adds integer variables

    Adds integer variables

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

    Permalink

    Adds an integer variable

    Adds an integer variable

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

    Permalink

    Adds an integer variable

    Adds an integer variable

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

    Permalink

    Adds an integer variable

    Adds an integer variable

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

    Permalink
    Definition Classes
    Any
  32. def isMaximize: Boolean

    Permalink

    Returns true when the maximization is specified

  33. def isMinimize: Boolean

    Permalink

    Returns true when the minimization is specified

  34. def maximize(x: Var): Var

    Permalink

    Specifies the objective variable to be maximized

    Specifies the objective variable to be maximized

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

    Permalink

    Specifies the objective variable to be minimized

    Specifies the objective variable to be minimized

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

    Permalink
    Definition Classes
    AnyRef
  37. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  38. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  39. var objective: Var

    Permalink

    Objective variable.

    Objective variable. null if not defined

  40. def output: String

    Permalink

    Returns the readable String representation of the CSP

  41. def satisfiedBy(solution: Solution): Boolean

    Permalink

    Checks whether the CSP is satisfied by the solution

    Checks whether the CSP is satisfied by the solution

    Definition Classes
    CSPCSPTrait
  42. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  43. var variables: IndexedSeq[Var]

    Permalink

    integer variables

  44. def variablesDelta: IndexedSeq[Var]

    Permalink

    Returns the integer variables added after the last commit.

  45. final def wait(): Unit

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

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

    Permalink
    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