Instance Constructors
-
new
DiscreteDomain(size: Int)
-
new
DiscreteDomain(sizeProxy: Iterable[Any])
Type Members
-
-
class
Elements extends AbstractIterator[A] with BufferedIterator[A] with Serializable
-
-
-
class
WithFilter extends FilterMonadic[A, Repr]
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
++[B >: variable.DiscreteValue, That](that: GenTraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
++:[B >: variable.DiscreteValue, That](that: Traversable[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
++:[B >: variable.DiscreteValue, That](that: TraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
-
-
-
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
_elements: ArrayBuffer[Value]
-
var
_frozen: Boolean
-
-
-
def
addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
-
def
aggregate[B](z: B)(seqop: (B, variable.DiscreteValue) ⇒ B, combop: (B, B) ⇒ B): B
-
def
andThen[C](k: (variable.DiscreteValue) ⇒ C): PartialFunction[Int, C]
-
def
apply(index: Int): Value
-
def
applyOrElse[A1 <: Int, B1 >: variable.DiscreteValue](x: A1, default: (A1) ⇒ B1): B1
-
final
def
asInstanceOf[T0]: T0
-
def
canEqual(that: Any): Boolean
-
def
clone(): AnyRef
-
def
collect[B, That](pf: PartialFunction[variable.DiscreteValue, B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
collectFirst[B](pf: PartialFunction[variable.DiscreteValue, B]): Option[B]
-
def
combinations(n: Int): Iterator[IndexedSeq[variable.DiscreteValue]]
-
def
companion: GenericCompanion[IndexedSeq]
-
-
def
contains(elem: Any): Boolean
-
def
containsSlice[B](that: GenSeq[B]): Boolean
-
def
copyToArray[B >: variable.DiscreteValue](xs: Array[B], start: Int, len: Int): Unit
-
-
def
copyToArray[B >: variable.DiscreteValue](xs: Array[B], start: Int): Unit
-
def
copyToBuffer[B >: variable.DiscreteValue](dest: Buffer[B]): Unit
-
def
corresponds[B](that: GenSeq[B])(p: (variable.DiscreteValue, B) ⇒ Boolean): Boolean
-
-
-
-
def
dimensionName(i: Int): String
-
def
dimensionSize: Int
-
-
-
-
-
def
endsWith[B](that: GenSeq[B]): Boolean
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(that: Any): Boolean
-
-
-
-
def
finalize(): Unit
-
-
def
flatMap[B, That](f: (variable.DiscreteValue) ⇒ GenTraversableOnce[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
flatten[B](implicit asTraversable: (variable.DiscreteValue) ⇒ GenTraversableOnce[B]): IndexedSeq[B]
-
def
fold[A1 >: variable.DiscreteValue](z: A1)(op: (A1, A1) ⇒ A1): A1
-
-
-
-
-
def
freeze(): Unit
-
def
frozen: Boolean
-
def
genericBuilder[B]: Builder[B, IndexedSeq[B]]
-
def
getAll(c: Set[Int]): Set[Value]
-
def
getAll(c: Array[Int]): ArraySeq[Value]
-
def
getAll(c: List[Int]): List[Value]
-
def
getAll(c: Iterator[Int]): Iterator[Value]
-
final
def
getClass(): Class[_]
-
-
def
grouped(size: Int): Iterator[IndexedSeq[variable.DiscreteValue]]
-
def
hasDefiniteSize: Boolean
-
def
hashCode(): Int
-
-
-
-
-
def
indexOfSlice[B >: variable.DiscreteValue](that: GenSeq[B], from: Int): Int
-
def
indexOfSlice[B >: variable.DiscreteValue](that: GenSeq[B]): Int
-
def
indexWhere(p: (variable.DiscreteValue) ⇒ Boolean, from: Int): Int
-
-
def
indices: Range
-
-
-
-
def
isDefinedAt(idx: Int): Boolean
-
def
isEmpty: Boolean
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
isTraversableAgain: Boolean
-
-
-
def
lastIndexOf[B >: variable.DiscreteValue](elem: B, end: Int): Int
-
-
def
lastIndexOfSlice[B >: variable.DiscreteValue](that: GenSeq[B], end: Int): Int
-
def
lastIndexOfSlice[B >: variable.DiscreteValue](that: GenSeq[B]): Int
-
def
lastIndexWhere(p: (variable.DiscreteValue) ⇒ Boolean, end: Int): Int
-
-
-
def
length: Int
-
def
lengthCompare(len: Int): Int
-
-
-
-
-
var
maxRequestedInt: Int
-
-
-
def
mkString: String
-
def
mkString(sep: String): String
-
def
mkString(start: String, sep: String, end: String): String
-
final
def
ne(arg0: AnyRef): Boolean
-
-
def
nonEmpty: Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
orElse[A1 <: Int, B1 >: variable.DiscreteValue](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]
-
def
padTo[B >: variable.DiscreteValue, That](len: Int, elem: B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
-
-
-
def
patch[B >: variable.DiscreteValue, That](from: Int, patch: GenSeq[B], replaced: Int)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
-
-
-
-
-
-
def
reduceOption[A1 >: variable.DiscreteValue](op: (A1, A1) ⇒ A1): Option[A1]
-
-
-
-
-
-
def
reverseMap[B, That](f: (variable.DiscreteValue) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
-
def
runWith[U](action: (variable.DiscreteValue) ⇒ U): (Int) ⇒ Boolean
-
def
sameElements[B >: variable.DiscreteValue](that: GenIterable[B]): Boolean
-
def
scan[B >: variable.DiscreteValue, That](z: B)(op: (B, B) ⇒ B)(implicit cbf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
scanLeft[B, That](z: B)(op: (B, variable.DiscreteValue) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
scanRight[B, That](z: B)(op: (variable.DiscreteValue, B) ⇒ B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
segmentLength(p: (variable.DiscreteValue) ⇒ Boolean, from: Int): Int
-
-
def
size: Int
-
def
slice(from: Int, until: Int): IndexedSeq[variable.DiscreteValue]
-
def
sliding(size: Int, step: Int): Iterator[IndexedSeq[variable.DiscreteValue]]
-
def
sliding(size: Int): Iterator[IndexedSeq[variable.DiscreteValue]]
-
-
-
-
-
-
def
startsWith[B](that: GenSeq[B], offset: Int): Boolean
-
def
startsWith[B](that: GenSeq[B]): Boolean
-
def
stringPrefix: String
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
-
-
-
-
-
-
-
def
toArray[B >: variable.DiscreteValue](implicit arg0: ClassTag[B]): Array[B]
-
-
-
-
-
-
-
def
toMap[T, U](implicit ev: <:<[variable.DiscreteValue, (T, U)]): Map[T, U]
-
-
-
-
def
toString(): String
-
-
-
def
transpose[B](implicit asTraversable: (variable.DiscreteValue) ⇒ GenTraversableOnce[B]): IndexedSeq[IndexedSeq[B]]
-
def
unapply(value: Value): Option[Int]
-
def
unfreeze(): Unit
-
def
union[B >: variable.DiscreteValue, That](that: GenSeq[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
def
unzip[A1, A2](implicit asPair: (variable.DiscreteValue) ⇒ (A1, A2)): (IndexedSeq[A1], IndexedSeq[A2])
-
def
unzip3[A1, A2, A3](implicit asTriple: (variable.DiscreteValue) ⇒ (A1, A2, A3)): (IndexedSeq[A1], IndexedSeq[A2], IndexedSeq[A3])
-
def
updated[B >: variable.DiscreteValue, That](index: Int, elem: B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], B, That]): That
-
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
-
def
zip[A1 >: variable.DiscreteValue, B, That](that: GenIterable[B])(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], (A1, B), That]): That
-
def
zipAll[B, A1 >: variable.DiscreteValue, That](that: GenIterable[B], thisElem: A1, thatElem: B)(implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], (A1, B), That]): That
-
def
zipWithIndex[A1 >: variable.DiscreteValue, That](implicit bf: CanBuildFrom[IndexedSeq[variable.DiscreteValue], (A1, Int), That]): That
Inherited from Equals
Inherited from Any
The domain of a DiscreteVar. It has a finite size and provides a DiscreteValue for each integer from 0 to size-1. Because DiscreteDomain is an IndexedSeq it can be passed as a "sizeProxy" to various "growable tensors", etc.