Class

jp.kobe_u.copris

AbstractSolver

Related Doc: package copris

Permalink

abstract class AbstractSolver extends SolverTrait

Abstract class for CSP solvers

Linear Supertypes
SolverTrait, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AbstractSolver
  2. SolverTrait
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new AbstractSolver(csp: CSP)

    Permalink

Abstract Value Members

  1. abstract def cancel: Unit

    Permalink
    Definition Classes
    SolverTrait
  2. abstract def commit: Unit

    Permalink
    Definition Classes
    SolverTrait
  3. abstract def dump(fileName: String, format: String): Unit

    Permalink
  4. abstract def findBody: Boolean

    Permalink

    Body of the find method

  5. abstract def findNextBody: Boolean

    Permalink

    Body of the findNext method

  6. abstract def findOptBody: Boolean

    Permalink

    Body of the findOpt method

  7. abstract def findOptBoundBody(lb: Int, ub: Int): Boolean

    Permalink

    Body of the findOptBound method

  8. abstract def solution: Solution

    Permalink

    Returns the current solution

    Returns the current solution

    Definition Classes
    SolverTrait

Concrete 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 addSolverInfo(key: String, value: String): Unit

    Permalink

    Adds the info

  5. def addSolverStat(name: String, key: String, value: Number): Unit

    Permalink

    Adds the current status of name (experimental)

  6. def addSolverStat(name: String, stat: Map[String, Number]): Unit

    Permalink

    Sets the current status of name (experimental)

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def checkTimeout: Unit

    Permalink

    Checks the timeout (experimental)

  9. def clone(): AnyRef

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

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def find: Boolean

    Permalink

    Finds the first solution

    Finds the first solution

    Definition Classes
    AbstractSolverSolverTrait
  14. def findNext: Boolean

    Permalink

    Finds the next solution

    Finds the next solution

    Definition Classes
    AbstractSolverSolverTrait
  15. def findOpt: Boolean

    Permalink

    Finds the optimum solution

    Finds the optimum solution

    Definition Classes
    AbstractSolverSolverTrait
  16. def findOptBound(lb: Int, ub: Int): Boolean

    Permalink

    Finds a solution within the given bounds

  17. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  18. def getSolverStat(name: String): Map[String, Number]

    Permalink

    Gets the last status of ~name~ (experimental)

  19. def hashCode(): Int

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

    Permalink

    Initializes the solver

    Initializes the solver

    Definition Classes
    AbstractSolverSolverTrait
  21. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  22. def measureTime[T](name: String, key: String)(block: ⇒ T): T

    Permalink

    Measures the time spent for executing block (experimental)

  23. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  26. var options: Map[String, String]

    Permalink

    Options of the solver

  27. def raiseTimeout: Nothing

    Permalink

    Raises the interrupted exception for timeout (experimental)

  28. def setTimeoutTask(task: ⇒ Unit): Unit

    Permalink

    Specifies the clean-up tasks of the timeout (experimental)

  29. def shiftSolverStats: Unit

    Permalink

    Shifts the status (experimental)

  30. def solutions: Iterator[Solution]

    Permalink

    Returns the iterator of all solutions

    Returns the iterator of all solutions

    Definition Classes
    AbstractSolverSolverTrait
  31. var solverInfo: Map[String, String]

    Permalink

    Info of the solver (experimental)

  32. var solverStats: Seq[Map[String, Map[String, Number]]]

    Permalink

    Status of the solver (experimental)

  33. def startTimer(t: Long): Unit

    Permalink

    Starts the timer (experimental)

  34. def stopTimer: Unit

    Permalink

    Stops the timer (experimental)

  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  36. var timeout: Long

    Permalink

    Timeout value in miliseconds (experimental)

  37. var timer: Timer

    Permalink

    Timer (experimental)

  38. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def value(p: Bool): Boolean

    Permalink

    Returns the Boolean variable value of the current solution

    Returns the Boolean variable value of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.1) use apply method of jp.kobe_u.copris.Solution instead

  2. def value(x: Var): Int

    Permalink

    Returns the integer variable value of the current solution

    Returns the integer variable value of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.1) use apply method of jp.kobe_u.copris.Solution instead

  3. def values(p: Bool, ps: Bool*): Seq[Boolean]

    Permalink

    Returns the Boolean variable values of the current solution

    Returns the Boolean variable values of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.1) use apply method of jp.kobe_u.copris.Solution instead

  4. def values(x: Var, xs: Var*): Seq[Int]

    Permalink

    Returns the integer variable values of the current solution

    Returns the integer variable values of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.1) use apply method of jp.kobe_u.copris.Solution instead

Inherited from SolverTrait

Inherited from AnyRef

Inherited from Any

Ungrouped