com.cra.figaro.language

ElementCollection

trait ElementCollection extends AnyRef

An element collection contains elements. It can be used to find the elements in it by reference.

Linear Supertypes
AnyRef, Any
Known Subclasses
ModelParameters, Universe
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ElementCollection
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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 add[T](element: Element[T]): Unit

    Add an element to the element collection.

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

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

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

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

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

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

  15. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

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

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

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

  19. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  20. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    All named elements in this collection.

  22. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  23. final def notify(): Unit

    Definition Classes
    AnyRef

  24. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Remove an element from the element collection.

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

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

    Definition Classes
    AnyRef

  28. def toString(): String

    Definition Classes
    AnyRef → Any

  29. val universe: Universe

    The universe this element collection is part of.

    The universe this element collection is part of. Defaults to the current universe at the time the ElementCollection is created. Override this if you want a different universe.

  30. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Annotations
    @deprecated
    Deprecated

    (Since version 2.3.0.0) Use namedElements instead

Inherited from AnyRef

Inherited from Any

Ungrouped