Universe

Instance Constructors

new Universe(parentElements: List[Element[_]] = List())

parentElements
The parent elements on which this universe depends.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
def activeElements: List[Element[_]]

The active elements in the universe.
def add[T](element: Element[T]): Unit

Add an element to the element collection.
Add an element to the element collection.

Definition Classes
ElementCollection
def allPossibleResolutions[T](reference: Reference[T]): Set[(Element[T], Contingency)]

Returns all resolutions of the given reference.
Returns all resolutions of the given reference. Considers all possible values of each of the elements on the path and all elements with each name on the path. Along with each possible resolution, it returns the contingency (values of elements along the path) required to make that resolution be the one.

Definition Classes
ElementCollection
final def asInstanceOf[T0]: T0

Definition Classes
Any
def assertEvidence[T](reference: Reference[T], evidence: Evidence[T], contingency: Contingency = List()): Unit

Assert the given evidence on the given reference.
Assert the given evidence on the given reference. The third argument is an optional contingency. This method makes sure to assert the evidence on all possible resolutions of the reference.

Definition Classes
ElementCollection
def assertEvidence(evidencePairs: Seq[NamedEvidence[_]]): Unit

Assert the given evidence associated with references to elements in the collection.
Assert the given evidence associated with references to elements in the collection.

Definition Classes
ElementCollection
def clear(): Unit

Clear the universe of all elements.
def clearTemporaries(): Unit

Clear the universe of all temporary elements.
Clear the universe of all temporary elements. I.e., elements that were created as the result of expanding a chain.
def clearUnnamed(): Unit

Clear the universe of all elements with no explicit name.
Clear the universe of all elements with no explicit name. This is useful, e.g., in dynamic models, where only named elements can influence subsequent time steps.
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def conditionedElements: List[Element[_]]

Elements in the universe that have had a condition applied to them.
def constrainedElements: List[Element[_]]

Elements in the universe that have had a constraint applied to them.
def deactivate(elems: Traversable[Element[_]]): Unit

Safely deactivate all the given elements.
def deregister(collection: Shrinkable[Element[_]]): Unit

Deregister a map of elements.
def deregisterAlgorithm(alg: Algorithm): Unit

Deregister an algorithm.
def deregisterUniverse(map: Map[Universe, _]): Unit

Deregister a map that uses this universe as a key.
def directlyUsedBy(elem: Element[_]): Set[Element[_]]

Returns the set of elements that use the given element in their generation, without recursing.
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Definition Classes
Universe → AnyRef
def get[T](reference: Reference[T]): SingleValuedReferenceElement[T]

Returns a reference element representing the single-valued reference.
Returns a reference element representing the single-valued reference. This method produces a new reference element every time it is called.

Definition Classes
ElementCollection
def getAggregate[T, U](aggregate: (MultiSet[T]) ⇒ U)(reference: Reference[T]): Aggregate[T, U]

Returns a reference element representing the aggregate applied to the multi-valued reference.
Returns a reference element representing the aggregate applied to the multi-valued reference.

Definition Classes
ElementCollection
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def getElementByReference[T](reference: Reference[T]): Element[T]

Definition Classes
ElementCollection
def getFirst[T](reference: Reference[T]): (Element[_], Option[Reference[T]])

Gets the first element in the chain contained by the reference, together with an optional remaining reference.
Gets the first element in the chain contained by the reference, together with an optional remaining reference. If the reference is simply a name, the element is the referred to element and the remainder is None.

Definition Classes
ElementCollection
def hasRef[T](reference: Reference[T]): Boolean

Returns true if the reference is resolvable on this collection.
Returns true if the reference is resolvable on this collection. This will always use the most recent element with the reference name.

Definition Classes
ElementCollection
def hashCode(): Int

Definition Classes
AnyRef → Any
def independentElements(elems: Traversable[Element[_]]): (Traversable[Element[_]], Traversable[Element[_]])

Returns the elements in the given set that are independent of all other elements in the set.
Returns the elements in the given set that are independent of all other elements in the set. I.e., they do not use any of the elements in the set in their generation. Also returns the remaining non-independent elements.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def layers(elems: Traversable[Element[_]]): List[List[Element[_]]]

Returns a list of layers of elements in the given set of elements, where the elements in each layer can be generated independently of each other given elements in previous layers.
def namedElements: List[Element[_]]

All named elements in this collection.
All named elements in this collection.

Definition Classes
ElementCollection
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val parentElements: List[Element[_]]

The parent elements on which this universe depends.
def permanentElements: List[Element[_]]

Elements in the universe that are not defined in the context of another element.
def randomStochasticElement(): Element[_]

Selects a non-deterministic element uniformly at random.
def register(collection: Shrinkable[Element[_]]): Unit

Register a map so that elements are removed from it when they are deactivated.
Register a map so that elements are removed from it when they are deactivated. This avoids memory management problems.
def registerAlgorithm(alg: Algorithm): Unit

Register algorithms that use this universe.
Register algorithms that use this universe. When the Universe is cleared, all previous algorithms are no longer valid, so they must be killed (if still running).
def registerUniverse(map: Map[Universe, _]): Unit

Register the maps that this universe is used as a key.
Register the maps that this universe is used as a key. Needed to make sure Universe is garbage collected when cleared and dereferenced.
def remove[T](element: Element[T]): Unit

Remove an element from the element collection.
Remove an element from the element collection.

Definition Classes
ElementCollection
def removeEvidence[T](reference: Reference[T], contingency: Contingency = List()): Unit

Remove any evidence on the given reference.
Remove any evidence on the given reference. The second argument is an optional contingency. This method makes sure to remove evidence from all possible resolutions of the reference. Note: this method removes all conditions and constraints, no matter when they were added.

Definition Classes
ElementCollection
def stochasticElements: List[Element[_]]

The active non-deterministic elements in the universe.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
val universe: Universe

The universe to which elements in this universe belongs, which is, of course, this universe.
The universe to which elements in this universe belongs, which is, of course, this universe.

Definition Classes
Universe → ElementCollection
def usedBy(elem: Element[_]): Set[Element[_]]

Returns the set of elements that use the given element in their generation, either directly or recursively.
def uses(elem: Element[_]): Set[Element[_]]

Returns the set of elements that the given element uses in its generation, either directly or recursively.
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def allElements: List[Element[_]]

All named elements in this collection.
All named elements in this collection.

Definition Classes
ElementCollection
Annotations
@deprecated
Deprecated
(Since version 2.3.0.0) Use namedElements instead

Related Docs: object Universe | package language

class Universe extends ElementCollection

Instance Constructors

new Universe(parentElements: List[Element[_]] = List())

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def activeElements: List[Element[_]]

def add[T](element: Element[T]): Unit

def allPossibleResolutions[T](reference: Reference[T]): Set[(Element[T], Contingency)]

final def asInstanceOf[T0]: T0

def assertEvidence[T](reference: Reference[T], evidence: Evidence[T], contingency: Contingency = List()): Unit

def assertEvidence(evidencePairs: Seq[NamedEvidence[_]]): Unit

def clear(): Unit

def clearTemporaries(): Unit

def clearUnnamed(): Unit

def clone(): AnyRef

def conditionedElements: List[Element[_]]

def constrainedElements: List[Element[_]]

def deactivate(elems: Traversable[Element[_]]): Unit

def deregister(collection: Shrinkable[Element[_]]): Unit

def deregisterAlgorithm(alg: Algorithm): Unit

def deregisterUniverse(map: Map[Universe, _]): Unit

def directlyUsedBy(elem: Element[_]): Set[Element[_]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def get[T](reference: Reference[T]): SingleValuedReferenceElement[T]

def getAggregate[T, U](aggregate: (MultiSet[T]) ⇒ U)(reference: Reference[T]): Aggregate[T, U]

final def getClass(): Class[_]

def getElementByReference[T](reference: Reference[T]): Element[T]

def getFirst[T](reference: Reference[T]): (Element[_], Option[Reference[T]])

def hasRef[T](reference: Reference[T]): Boolean

def hashCode(): Int

def independentElements(elems: Traversable[Element[_]]): (Traversable[Element[_]], Traversable[Element[_]])

final def isInstanceOf[T0]: Boolean

def layers(elems: Traversable[Element[_]]): List[List[Element[_]]]

def namedElements: List[Element[_]]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val parentElements: List[Element[_]]

def permanentElements: List[Element[_]]

def randomStochasticElement(): Element[_]

def register(collection: Shrinkable[Element[_]]): Unit

def registerAlgorithm(alg: Algorithm): Unit

def registerUniverse(map: Map[Universe, _]): Unit

def remove[T](element: Element[T]): Unit

def removeEvidence[T](reference: Reference[T], contingency: Contingency = List()): Unit

def stochasticElements: List[Element[_]]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val universe: Universe

def usedBy(elem: Element[_]): Set[Element[_]]

def uses(elem: Element[_]): Set[Element[_]]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Deprecated Value Members

def allElements: List[Element[_]]

Inherited from ElementCollection

Inherited from AnyRef

Inherited from Any

Ungrouped