c

concrete

CSPOMSolver

class CSPOMSolver extends Iterator[CSPOMSolution] with LazyLogging

Linear Supertypes
LazyLogging, Iterator[CSPOMSolution], TraversableOnce[CSPOMSolution], GenTraversableOnce[CSPOMSolution], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CSPOMSolver
  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 CSPOMSolver(solver: Solver, cspom: ExpressionMap, variables: Map[CSPOMVariable[_], Variable])

Type Members

  1. class GroupedIterator[B >: A] extends AbstractIterator[Seq[B]] with Iterator[Seq[B]]
    Definition Classes
    Iterator

Value Members

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

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

Inherited from LazyLogging

Inherited from Iterator[CSPOMSolution]

Inherited from TraversableOnce[CSPOMSolution]

Inherited from GenTraversableOnce[CSPOMSolution]

Inherited from AnyRef

Inherited from Any

Ungrouped