Class

jp.kobe_u.copris.pb

Solver

Related Doc: package pb

Permalink

class Solver extends AbstractSolver

Class for solvers

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

Instance Constructors

  1. new Solver(csp: CSP, pbSolver: PbSolver = Clasp, encoding: String = "binary", nativeOptimizer: Boolean = true)

    Permalink

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

    Adds the info

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

    Permalink

    Adds the current status of name (experimental)

    Adds the current status of name (experimental)

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

    Permalink

    Sets the current status of name (experimental)

    Sets the current status of name (experimental)

    Definition Classes
    AbstractSolver
  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  8. def cancel: Unit

    Permalink
    Definition Classes
    SolverSolverTrait
  9. def checkTimeout: Unit

    Permalink

    Checks the timeout (experimental)

    Checks the timeout (experimental)

    Definition Classes
    AbstractSolver
  10. def clone(): AnyRef

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

    Permalink
    Definition Classes
    SolverSolverTrait
  12. var commitFlag: Boolean

    Permalink
  13. def dump(fileName: String, format: String): Unit

    Permalink
    Definition Classes
    SolverAbstractSolver
  14. def encode: Boolean

    Permalink
  15. def encodeDelta: Unit

    Permalink
  16. var encoder: Encoder

    Permalink
  17. final def eq(arg0: AnyRef): Boolean

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

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

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

    Permalink

    Finds the first solution

    Finds the first solution

    Definition Classes
    SolverAbstractSolverSolverTrait
  21. def find(commitFlag: Boolean): Boolean

    Permalink
  22. def findBody: Boolean

    Permalink

    Body of the find method

    Body of the find method

    Definition Classes
    SolverAbstractSolver
  23. def findNext: Boolean

    Permalink

    Finds the next solution

    Finds the next solution

    Definition Classes
    SolverAbstractSolverSolverTrait
  24. def findNext(commitFlag: Boolean): Boolean

    Permalink
  25. def findNextBody: Boolean

    Permalink

    Body of the findNext method

    Body of the findNext method

    Definition Classes
    SolverAbstractSolver
  26. def findOpt: Boolean

    Permalink

    Finds the optimum solution

    Finds the optimum solution

    Definition Classes
    AbstractSolverSolverTrait
  27. def findOptBody: Boolean

    Permalink

    Body of the findOpt method

    Body of the findOpt method

    Definition Classes
    SolverAbstractSolver
  28. def findOptBodyBinary: Boolean

    Permalink
  29. def findOptBodyNative: Boolean

    Permalink
  30. def findOptBound(lb: Int, ub: Int): Boolean

    Permalink

    Finds a solution within the given bounds

    Finds a solution within the given bounds

    Definition Classes
    AbstractSolver
  31. def findOptBoundBody(lb: Int, ub: Int): Boolean

    Permalink

    Body of the findOptBound method

    Body of the findOptBound method

    Definition Classes
    SolverAbstractSolver
  32. def findOptBoundBodyBinary(lb: Int, ub: Int): Boolean

    Permalink
  33. def findOptBoundBodyNative(lb: Int, ub: Int): Nothing

    Permalink
  34. final def getClass(): Class[_]

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

    Permalink

    Gets the last status of ~name~ (experimental)

    Gets the last status of ~name~ (experimental)

    Definition Classes
    AbstractSolver
  36. def hashCode(): Int

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

    Permalink

    Initializes the solver

    Initializes the solver

    Definition Classes
    SolverAbstractSolverSolverTrait
  38. var initial: Boolean

    Permalink
  39. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  40. var mapFileName: String

    Permalink
  41. def measureTime[T](name: String, key: String)(block: ⇒ T): T

    Permalink

    Measures the time spent for executing block (experimental)

    Measures the time spent for executing block (experimental)

    Definition Classes
    AbstractSolver
  42. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink

    Options of the solver

    Options of the solver

    Definition Classes
    AbstractSolver
  46. var outFileName: String

    Permalink
  47. var pbFileName: String

    Permalink
  48. def pbSolve(optimize: Boolean): Boolean

    Permalink
  49. var pbSolver: PbSolver

    Permalink
  50. def raiseTimeout: Nothing

    Permalink

    Raises the interrupted exception for timeout (experimental)

    Raises the interrupted exception for timeout (experimental)

    Definition Classes
    AbstractSolver
  51. def setTimeoutTask(task: ⇒ Unit): Unit

    Permalink

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

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

    Definition Classes
    AbstractSolver
  52. def shiftSolverStats: Unit

    Permalink

    Shifts the status (experimental)

    Shifts the status (experimental)

    Definition Classes
    AbstractSolver
  53. var solution: Solution

    Permalink

    Returns the current solution

    Returns the current solution

    Definition Classes
    SolverSolverTrait
  54. def solutions: Iterator[Solution]

    Permalink

    Returns the iterator of all solutions

    Returns the iterator of all solutions

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

    Permalink

    Info of the solver (experimental)

    Info of the solver (experimental)

    Definition Classes
    AbstractSolver
  56. val solverName: String

    Permalink
  57. var solverStats: Seq[Map[String, Map[String, Number]]]

    Permalink

    Status of the solver (experimental)

    Status of the solver (experimental)

    Definition Classes
    AbstractSolver
  58. def startTimer(t: Long): Unit

    Permalink

    Starts the timer (experimental)

    Starts the timer (experimental)

    Definition Classes
    AbstractSolver
  59. def stopTimer: Unit

    Permalink

    Stops the timer (experimental)

    Stops the timer (experimental)

    Definition Classes
    AbstractSolver
  60. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  61. var timeout: Long

    Permalink

    Timeout value in miliseconds (experimental)

    Timeout value in miliseconds (experimental)

    Definition Classes
    AbstractSolver
  62. var timer: Timer

    Permalink

    Timer (experimental)

    Timer (experimental)

    Definition Classes
    AbstractSolver
  63. def toString(): String

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

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

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

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

Deprecated Value Members

  1. def addDelta: Unit

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 2.2.0) use encodeDelta method of jp.kobe_u.copris.pb.Solver instead

  2. 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

  3. 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

  4. 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

  5. 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 AbstractSolver

Inherited from SolverTrait

Inherited from AnyRef

Inherited from Any

Ungrouped