jp.kobe_u.copris.sugar

Solver

class Solver extends AbstractSolver

Class for Sugar solver

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

Instance Constructors

  1. new Solver (csp: CSP, satSolver: SatSolver)

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 addDelta : Unit

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

    Adds the current status of name (experimental)

    Adds the current status of name (experimental)

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

    Sets the current status of name (experimental)

    Sets the current status of name (experimental)

    Definition Classes
    AbstractSolver
  9. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  10. def cancel : Unit

  11. def checkTimeout : Unit

    Checks the timeout (experimental)

    Checks the timeout (experimental)

    Definition Classes
    AbstractSolver
  12. def clone (): AnyRef

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

  14. def encode : Boolean

  15. var encoder : Encoder

  16. def eq (arg0: AnyRef): Boolean

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

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

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  19. def find : Boolean

    Finds the first solution

    Finds the first solution

    Definition Classes
    AbstractSolverSolverTrait
  20. def findBody : Boolean

    Body of the find method

    Body of the find method

    Definition Classes
    SolverAbstractSolver
  21. def findNext : Boolean

    Finds the next solution

    Finds the next solution

    Definition Classes
    AbstractSolverSolverTrait
  22. def findNextBody : Boolean

    Body of the findNext method

    Body of the findNext method

    Definition Classes
    SolverAbstractSolver
  23. def findOpt : Boolean

    Finds the optimum solution

    Finds the optimum solution

    Definition Classes
    AbstractSolverSolverTrait
  24. def findOptBody : Boolean

    Body of the findOpt method

    Body of the findOpt method

    Definition Classes
    SolverAbstractSolver
  25. def findOptBound (lb: Int, ub: Int): Boolean

    Finds a solution within the given bounds

    Finds a solution within the given bounds

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

    Body of the findOptBound method

    Body of the findOptBound method

    Definition Classes
    SolverAbstractSolver
  27. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  28. def getSolverStat (name: String): Map[String, Number]

    Gets the last status of ~name~ (experimental)

    Gets the last status of ~name~ (experimental)

    Definition Classes
    AbstractSolver
  29. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  30. def init : Unit

    Initializes the solver

    Initializes the solver

    Definition Classes
    SolverSolverTrait
  31. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  32. var logFileName : String

  33. var mapFileName : String

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

    Measures the time spent for executing block (experimental)

    Measures the time spent for executing block (experimental)

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

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

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

    Attributes
    final
    Definition Classes
    AnyRef
  38. var options : Map[String, String]

    Options of the solver

    Options of the solver

    Definition Classes
    AbstractSolver
  39. var outFileName : String

  40. def raiseTimeout : Nothing

    Raises the interrupted exception for timeout (experimental)

    Raises the interrupted exception for timeout (experimental)

    Definition Classes
    AbstractSolver
  41. var satFileName : String

  42. def satSolve : Boolean

  43. var satSolver : SatSolver

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

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

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

    Definition Classes
    AbstractSolver
  45. def shiftSolverStats : Unit

    Shifts the status (experimental)

    Shifts the status (experimental)

    Definition Classes
    AbstractSolver
  46. var solution : Solution

    Returns the current solution

    Returns the current solution

    Definition Classes
    SolverSolverTrait
  47. var solverStats : Seq[Map[String, Map[String, Number]]]

    Status of the solver (experimental)

    Status of the solver (experimental)

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

    Starts the timer (experimental)

    Starts the timer (experimental)

    Definition Classes
    AbstractSolver
  49. def stopTimer : Unit

    Stops the timer (experimental)

    Stops the timer (experimental)

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

    Attributes
    final
    Definition Classes
    AnyRef
  51. var timeout : Long

    Timeout value in miliseconds (experimental)

    Timeout value in miliseconds (experimental)

    Definition Classes
    AbstractSolver
  52. var timer : Timer

    Timer (experimental)

    Timer (experimental)

    Definition Classes
    AbstractSolver
  53. def toString (): String

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

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def value (p: Bool): Boolean

    Returns the Boolean variable value of the current solution

    Returns the Boolean variable value of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    use apply method of Solution instead

  2. def value (x: Var): Int

    Returns the integer variable value of the current solution

    Returns the integer variable value of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    use apply method of Solution instead

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

    Returns the Boolean variable values of the current solution

    Returns the Boolean variable values of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    use apply method of Solution instead

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

    Returns the integer variable values of the current solution

    Returns the integer variable values of the current solution

    Definition Classes
    SolverTrait
    Annotations
    @deprecated
    Deprecated

    use apply method of Solution instead

Inherited from AbstractSolver

Inherited from SolverTrait

Inherited from AnyRef

Inherited from Any