class Universe extends ElementCollection

A universe is a collection of elements that can be used by a reasoning algorithm.

Ordinarily, the arguments of elements in a universe must also belong to the universe. You can optionally supply a list of parent elements that contains other elements that can be arguments.

Linear Supertypes
ElementCollection, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Universe
  2. ElementCollection
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

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

    parentElements

    The parent elements on which this universe depends.

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def activeElements: List[Element[_]]

    The active elements in the universe.

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

    Add an element to the element collection.

    Add an element to the element collection.

    Definition Classes
    ElementCollection
  6. 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
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. 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
  9. 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
  10. def clear(): Unit

    Clear the universe of all elements.

  11. 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.

  12. 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.

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

    Elements in the universe that have had a condition applied to them.

  15. def constrainedElements: List[Element[_]]

    Elements in the universe that have had a constraint applied to them.

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

    Safely deactivate all the given elements.

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

    Deregister a map of elements.

  18. def deregisterAlgorithm(alg: Algorithm): Unit

    Deregister an algorithm.

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

    Deregister a map that uses this universe as a key.

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

    Returns the set of elements that use the given element in their generation, without recursing.

  21. def directlyUses(elem: Element[_]): Set[Element[_]]

    Returns the set of elements that the given element directly uses in its generation, without recursing.

  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def finalize(): Unit
    Definition Classes
    Universe → AnyRef
  25. 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
  26. 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
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  28. def getElementByReference[T](reference: Reference[T]): Element[T]
    Definition Classes
    ElementCollection
  29. 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
  30. 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
  31. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  32. 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.

  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. 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.

  35. def namedElements: List[Element[_]]

    All named elements in this collection.

    All named elements in this collection.

    Definition Classes
    ElementCollection
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  39. val parentElements: List[Element[_]]
  40. def permanentElements: List[Element[_]]

    Elements in the universe that are not defined in the context of another element.

  41. def randomStochasticElement(): Element[_]

    Selects a non-deterministic element uniformly at random.

  42. 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.

  43. 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).

  44. 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.

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

    Remove an element from the element collection.

    Remove an element from the element collection.

    Definition Classes
    ElementCollection
  46. 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
  47. def stochasticElements: List[Element[_]]

    The active non-deterministic elements in the universe.

  48. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  49. def toString(): String
    Definition Classes
    AnyRef → Any
  50. 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
    UniverseElementCollection
  51. def usedBy(elem: Element[_]): Set[Element[_]]

    Returns the set of elements that use the given element in their generation, either directly or recursively.

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

    Returns the set of elements that the given element uses in its generation, either directly or recursively.

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

Deprecated Value Members

  1. 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

Inherited from ElementCollection

Inherited from AnyRef

Inherited from Any

Ungrouped