jp.kobe_u.copris.sugar

Solver

class Solver extends AbstractSolver

Class for Sugar solver

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
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

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

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def addSolverInfo(key: String, value: String): Unit

    Adds the info

    Adds the info

    Definition Classes
    AbstractSolver
  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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  10. def cancel: Unit

    Definition Classes
    SolverSolverTrait
  11. def checkTimeout: Unit

    Checks the timeout (experimental)

    Checks the timeout (experimental)

    Definition Classes
    AbstractSolver
  12. def clone(): AnyRef

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

    Definition Classes
    SolverSolverTrait
  14. var commitFlag: Boolean

  15. def dump(fileName: String, format: String): Unit

    Definition Classes
    SolverAbstractSolver
  16. def dumpCNF(fileName: String): Unit

  17. def dumpCSP(fileName: String): Unit

  18. def encode: Boolean

  19. def encodeDelta: Unit

  20. var encoder: Encoder

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

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

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

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

    Finds the first solution

    Finds the first solution

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

  26. def findBody: Boolean

    Body of the find method

    Body of the find method

    Definition Classes
    SolverAbstractSolver
  27. def findNext: Boolean

    Finds the next solution

    Finds the next solution

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

  29. def findNextBody: Boolean

    Body of the findNext method

    Body of the findNext method

    Definition Classes
    SolverAbstractSolver
  30. def findOpt: Boolean

    Finds the optimum solution

    Finds the optimum solution

    Definition Classes
    AbstractSolverSolverTrait
  31. def findOptBody: Boolean

    Body of the findOpt method

    Body of the findOpt method

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

    Finds a solution within the given bounds

    Finds a solution within the given bounds

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

    Body of the findOptBound method

    Body of the findOptBound method

    Definition Classes
    SolverAbstractSolver
  34. final def getClass(): Class[_]

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

    Gets the last status of ~name~ (experimental)

    Gets the last status of ~name~ (experimental)

    Definition Classes
    AbstractSolver
  36. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  37. def init: Unit

    Initializes the solver

    Initializes the solver

    Definition Classes
    SolverAbstractSolverSolverTrait
  38. var initial: Boolean

  39. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  40. var logFileName: String

  41. var mapFileName: String

  42. 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
  43. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  44. final def notify(): Unit

    Definition Classes
    AnyRef
  45. final def notifyAll(): Unit

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

    Options of the solver

    Options of the solver

    Definition Classes
    AbstractSolver
  47. var outFileName: String

  48. def raiseTimeout: Nothing

    Raises the interrupted exception for timeout (experimental)

    Raises the interrupted exception for timeout (experimental)

    Definition Classes
    AbstractSolver
  49. var satFileName: String

  50. def satSolve: Boolean

  51. var satSolver: SatSolver

  52. 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
  53. def shiftSolverStats: Unit

    Shifts the status (experimental)

    Shifts the status (experimental)

    Definition Classes
    AbstractSolver
  54. var solution: Solution

    Returns the current solution

    Returns the current solution

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

    Returns the iterator of all solutions

    Returns the iterator of all solutions

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

    Info of the solver (experimental)

    Info of the solver (experimental)

    Definition Classes
    AbstractSolver
  57. val solverName: String

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

    Status of the solver (experimental)

    Status of the solver (experimental)

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

    Starts the timer (experimental)

    Starts the timer (experimental)

    Definition Classes
    AbstractSolver
  60. def stopTimer: Unit

    Stops the timer (experimental)

    Stops the timer (experimental)

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

    Definition Classes
    AnyRef
  62. var timeout: Long

    Timeout value in miliseconds (experimental)

    Timeout value in miliseconds (experimental)

    Definition Classes
    AbstractSolver
  63. var timer: Timer

    Timer (experimental)

    Timer (experimental)

    Definition Classes
    AbstractSolver
  64. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def addDelta: Unit

    Annotations
    @deprecated
    Deprecated

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

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

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

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

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

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

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

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

    (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