jp.kobe_u.copris

CSPTrait

trait CSPTrait extends AnyRef

Trait of CSP (Constraint Satisfaction Problem)

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. CSPTrait
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Abstract Value Members

  1. def add (cs: Constraint*): Unit

    Adds a constraint

    Adds a constraint

    Attributes
    abstract
  2. def bool (p: Bool): Bool

    Adds a Boolean variable

    Adds a Boolean variable

    Attributes
    abstract
  3. def int (x: Var, d: Domain): Var

    Adds an integer variable

    Adds an integer variable

    Attributes
    abstract
  4. def maximize (x: Var): Var

    Specifies objective variable to be maximized

    Specifies objective variable to be maximized

    Attributes
    abstract
  5. def minimize (x: Var): Var

    Specifies objective variable to be minimized

    Specifies objective variable to be minimized

    Attributes
    abstract
  6. def satisfiedBy (solution: Solution): Boolean

    Checks whether the CSP is satisfied by the solution

    Checks whether the CSP is satisfied by the solution

    Attributes
    abstract

Concrete 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: Iterable[Constraint]): Unit

    Adds constraints

  7. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  8. def bool (ps: Iterable[Bool]): Iterable[Bool]

    Adds Boolean variables

  9. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  10. def eq (arg0: AnyRef): Boolean

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

    Definition Classes
    AnyRef → Any
  12. def finalize (): Unit

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

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

    Definition Classes
    AnyRef → Any
  15. def int (xs: Iterable[Term], value: Int): Iterable[Term]

    Adds integer variables

  16. def int (xs: Iterable[Term], lo: Int, hi: Int): Iterable[Term]

    Adds integer variables

  17. def int (xs: Iterable[Term], d: Set[Int]): Iterable[Term]

    Adds integer variables

  18. def int (xs: Iterable[Term], d: Domain): Iterable[Term]

    Adds integer variables

  19. def int (x: Var, value: Int): Var

    Adds an integer variable

  20. def int (x: Var, lo: Int, hi: Int): Var

    Adds an integer variable

  21. def int (x: Var, d: Set[Int]): Var

    Adds an integer variable

  22. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  23. def ne (arg0: AnyRef): Boolean

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  26. def synchronized [T0] (arg0: ⇒ T0): T0

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

    Definition Classes
    AnyRef → Any
  28. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any