abstract class Solver extends Iterator[Map[Variable, Any]] with LazyLogging

Linear Supertypes
LazyLogging, Iterator[Map[Variable, Any]], TraversableOnce[Map[Variable, Any]], GenTraversableOnce[Map[Variable, Any]], AnyRef, Any
Known Subclasses
DummySolver, MAC, MDDStats
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Solver
  2. LazyLogging
  3. Iterator
  4. TraversableOnce
  5. GenTraversableOnce
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Solver(problem: Problem, params: ParameterManager)

Type Members

  1. class GroupedIterator[B >: A] extends AbstractIterator[Seq[B]] with Iterator[Seq[B]]
    Definition Classes
    Iterator
  2. implicit class QuantityMath[T] extends AnyRef

Abstract Value Members

  1. abstract def nextSolution(): SolverResult
    Attributes
    protected
  2. abstract def reset(): Unit

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def ++[B >: Map[Variable, Any]](that: ⇒ GenTraversableOnce[B]): Iterator[B]
    Definition Classes
    Iterator
  4. def /:[B](z: B)(op: (B, Map[Variable, Any]) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  5. def :\[B](z: B)(op: (Map[Variable, Any], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. def addConstraint[A <: Constraint](c: A): A
  8. def addString(b: StringBuilder): StringBuilder
    Definition Classes
    TraversableOnce
  9. def addString(b: StringBuilder, sep: String): StringBuilder
    Definition Classes
    TraversableOnce
  10. def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
    Definition Classes
    TraversableOnce
  11. def aggregate[B](z: ⇒ B)(seqop: (B, Map[Variable, Any]) ⇒ B, combop: (B, B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def buffered: BufferedIterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  14. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  15. def collect[B](pf: PartialFunction[Map[Variable, Any], B]): Iterator[B]
    Definition Classes
    Iterator
    Annotations
    @migration
    Migration

    (Changed in version 2.8.0) collect has changed. The previous behavior can be reproduced with toSeq.

  16. def collectFirst[B](pf: PartialFunction[Map[Variable, Any], B]): Option[B]
    Definition Classes
    TraversableOnce
  17. def contains(elem: Any): Boolean
    Definition Classes
    Iterator
  18. def copyToArray[B >: Map[Variable, Any]](xs: Array[B], start: Int, len: Int): Unit
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  19. def copyToArray[B >: Map[Variable, Any]](xs: Array[B]): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  20. def copyToArray[B >: Map[Variable, Any]](xs: Array[B], start: Int): Unit
    Definition Classes
    TraversableOnce → GenTraversableOnce
  21. def copyToBuffer[B >: Map[Variable, Any]](dest: Buffer[B]): Unit
    Definition Classes
    TraversableOnce
  22. def corresponds[B](that: GenTraversableOnce[B])(p: (Map[Variable, Any], B) ⇒ Boolean): Boolean
    Definition Classes
    Iterator
  23. def count(p: (Map[Variable, Any]) ⇒ Boolean): Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  24. def drop(n: Int): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  25. def dropWhile(p: (Map[Variable, Any]) ⇒ Boolean): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  26. def duplicate: (Iterator[Map[Variable, Any]], Iterator[Map[Variable, Any]])
    Definition Classes
    Iterator
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. def exists(p: (Map[Variable, Any]) ⇒ Boolean): Boolean
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  30. def extractSolution(state: ProblemState): Map[Variable, Any]
    Attributes
    protected
  31. def filter(p: (Map[Variable, Any]) ⇒ Boolean): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  32. def filterNot(p: (Map[Variable, Any]) ⇒ Boolean): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  33. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  34. def find(p: (Map[Variable, Any]) ⇒ Boolean): Option[Map[Variable, Any]]
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  35. def flatMap[B](f: (Map[Variable, Any]) ⇒ GenTraversableOnce[B]): Iterator[B]
    Definition Classes
    Iterator
  36. def fold[A1 >: Map[Variable, Any]](z: A1)(op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  37. def foldLeft[B](z: B)(op: (B, Map[Variable, Any]) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  38. def foldRight[B](z: B)(op: (Map[Variable, Any], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  39. def forall(p: (Map[Variable, Any]) ⇒ Boolean): Boolean
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  40. def foreach[U](f: (Map[Variable, Any]) ⇒ U): Unit
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  41. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  42. def grouped[B >: Map[Variable, Any]](size: Int): GroupedIterator[B]
    Definition Classes
    Iterator
  43. def hasDefiniteSize: Boolean
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  44. def hasNext: Boolean
    Definition Classes
    Solver → Iterator
  45. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  46. def indexOf[B >: Map[Variable, Any]](elem: B, from: Int): Int
    Definition Classes
    Iterator
  47. def indexOf[B >: Map[Variable, Any]](elem: B): Int
    Definition Classes
    Iterator
  48. def indexWhere(p: (Map[Variable, Any]) ⇒ Boolean, from: Int): Int
    Definition Classes
    Iterator
  49. def indexWhere(p: (Map[Variable, Any]) ⇒ Boolean): Int
    Definition Classes
    Iterator
  50. def integerIterator: Iterator[Map[Variable, Integer]]
  51. def isEmpty: Boolean
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  52. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  53. def isTraversableAgain: Boolean
    Definition Classes
    Iterator → GenTraversableOnce
  54. def javaCollection: List[Map[Variable, Integer]]
  55. def javaIterator: Iterator[Map[Variable, Integer]]
  56. def length: Int
    Definition Classes
    Iterator
  57. lazy val logger: Logger
    Attributes
    protected
    Definition Classes
    LazyLogging
  58. def map[B](f: (Map[Variable, Any]) ⇒ B): Iterator[B]
    Definition Classes
    Iterator
  59. def max[B >: Map[Variable, Any]](implicit cmp: Ordering[B]): Map[Variable, Any]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  60. def maxBy[B](f: (Map[Variable, Any]) ⇒ B)(implicit cmp: Ordering[B]): Map[Variable, Any]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  61. def min[B >: Map[Variable, Any]](implicit cmp: Ordering[B]): Map[Variable, Any]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  62. def minBy[B](f: (Map[Variable, Any]) ⇒ B)(implicit cmp: Ordering[B]): Map[Variable, Any]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  63. def mkString: String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  64. def mkString(sep: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  65. def mkString(start: String, sep: String, end: String): String
    Definition Classes
    TraversableOnce → GenTraversableOnce
  66. val nbConstraints: Int
  67. var nbSolutions: Int
  68. val nbVariables: Int
  69. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  70. def next(): Map[Variable, Any]
    Definition Classes
    Solver → Iterator
  71. def nextJava(): Map[Variable, Integer]
  72. def nonEmpty: Boolean
    Definition Classes
    TraversableOnce → GenTraversableOnce
  73. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  74. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  75. def obtainOptimConstraint[A <: Constraint](f: ⇒ A): A
  76. var optimConstraint: Option[Constraint]
  77. def optimises: Option[Variable]
  78. def padTo[A1 >: Map[Variable, Any]](len: Int, elem: A1): Iterator[A1]
    Definition Classes
    Iterator
  79. val params: ParameterManager
  80. def partition(p: (Map[Variable, Any]) ⇒ Boolean): (Iterator[Map[Variable, Any]], Iterator[Map[Variable, Any]])
    Definition Classes
    Iterator
  81. def patch[B >: Map[Variable, Any]](from: Int, patchElems: Iterator[B], replaced: Int): Iterator[B]
    Definition Classes
    Iterator
  82. var preproCpu: Quantity[Double]
  83. var preproRemoved: Long
  84. final def preprocess(filter: Filter, state: ProblemState): Outcome
  85. val preprocessorClass: Option[Class[_ <: Filter]]
  86. val problem: Problem
  87. def product[B >: Map[Variable, Any]](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  88. def reduce[A1 >: Map[Variable, Any]](op: (A1, A1) ⇒ A1): A1
    Definition Classes
    TraversableOnce → GenTraversableOnce
  89. def reduceLeft[B >: Map[Variable, Any]](op: (B, Map[Variable, Any]) ⇒ B): B
    Definition Classes
    TraversableOnce
  90. def reduceLeftOption[B >: Map[Variable, Any]](op: (B, Map[Variable, Any]) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  91. def reduceOption[A1 >: Map[Variable, Any]](op: (A1, A1) ⇒ A1): Option[A1]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  92. def reduceRight[B >: Map[Variable, Any]](op: (Map[Variable, Any], B) ⇒ B): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  93. def reduceRightOption[B >: Map[Variable, Any]](op: (Map[Variable, Any], B) ⇒ B): Option[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  94. def reversed: List[Map[Variable, Any]]
    Attributes
    protected[this]
    Definition Classes
    TraversableOnce
  95. var running: Boolean
  96. def sameElements(that: Iterator[_]): Boolean
    Definition Classes
    Iterator
  97. def scanLeft[B](z: B)(op: (B, Map[Variable, Any]) ⇒ B): Iterator[B]
    Definition Classes
    Iterator
  98. def scanRight[B](z: B)(op: (Map[Variable, Any], B) ⇒ B): Iterator[B]
    Definition Classes
    Iterator
  99. def seq: Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  100. def size: Int
    Definition Classes
    TraversableOnce → GenTraversableOnce
  101. def sizeHintIfCheap: Int
    Attributes
    protected[scala.collection]
    Definition Classes
    GenTraversableOnce
  102. def slice(from: Int, until: Int): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  103. def sliceIterator(from: Int, until: Int): Iterator[Map[Variable, Any]]
    Attributes
    protected
    Definition Classes
    Iterator
  104. def sliding[B >: Map[Variable, Any]](size: Int, step: Int): GroupedIterator[B]
    Definition Classes
    Iterator
  105. def span(p: (Map[Variable, Any]) ⇒ Boolean): (Iterator[Map[Variable, Any]], Iterator[Map[Variable, Any]])
    Definition Classes
    Iterator
  106. val statistics: StatisticsManager
  107. def sum[B >: Map[Variable, Any]](implicit num: Numeric[B]): B
    Definition Classes
    TraversableOnce → GenTraversableOnce
  108. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  109. def take(n: Int): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  110. def takeWhile(p: (Map[Variable, Any]) ⇒ Boolean): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  111. def to[Col[_]](implicit cbf: CanBuildFrom[Nothing, Map[Variable, Any], Col[Map[Variable, Any]]]): Col[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  112. def toArray[B >: Map[Variable, Any]](implicit arg0: ClassTag[B]): Array[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  113. def toBuffer[B >: Map[Variable, Any]]: Buffer[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  114. def toIndexedSeq: IndexedSeq[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  115. def toIterable: Iterable[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  116. def toIterator: Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator → GenTraversableOnce
  117. def toList: List[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  118. def toMap[T, U](implicit ev: <:<[Map[Variable, Any], (T, U)]): Map[T, U]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  119. def toSeq: Seq[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  120. def toSet[B >: Map[Variable, Any]]: Set[B]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  121. def toStream: Stream[Map[Variable, Any]]
    Definition Classes
    Iterator → GenTraversableOnce
  122. def toString(): String
    Definition Classes
    Iterator → AnyRef → Any
  123. def toTraversable: Traversable[Map[Variable, Any]]
    Definition Classes
    Iterator → TraversableOnce → GenTraversableOnce
  124. def toVector: Vector[Map[Variable, Any]]
    Definition Classes
    TraversableOnce → GenTraversableOnce
  125. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  126. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  127. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  128. def withFilter(p: (Map[Variable, Any]) ⇒ Boolean): Iterator[Map[Variable, Any]]
    Definition Classes
    Iterator
  129. def zip[B](that: Iterator[B]): Iterator[(Map[Variable, Any], B)]
    Definition Classes
    Iterator
  130. def zipAll[B, A1 >: Map[Variable, Any], B1 >: B](that: Iterator[B], thisElem: A1, thatElem: B1): Iterator[(A1, B1)]
    Definition Classes
    Iterator
  131. def zipWithIndex: Iterator[(Map[Variable, Any], Int)]
    Definition Classes
    Iterator

Inherited from LazyLogging

Inherited from Iterator[Map[Variable, Any]]

Inherited from TraversableOnce[Map[Variable, Any]]

Inherited from GenTraversableOnce[Map[Variable, Any]]

Inherited from AnyRef

Inherited from Any

Ungrouped