final class MAC extends Solver with LazyLogging

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

Instance Constructors

  1. new MAC(prob: Problem, params: ParameterManager, heuristic: Heuristic)

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
    Definition Classes
    Solver

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

Inherited from Solver

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