ElementCollection

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

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

   Add an element to the element collection.

7. def allElements: List[Element[_]]

   All the elements in this collection.

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

9. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

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

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

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

12. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    Returns a reference element representing the single-valued reference.

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

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

    Definition Classes

    AnyRef → Any

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

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

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

22. def hashCode(): Int

    Definition Classes

    AnyRef → Any

23. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Definition Classes

    AnyRef

25. final def notify(): Unit

    Definition Classes

    AnyRef

26. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Remove an element from the element collection.

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

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

    Definition Classes

    AnyRef

30. def toString(): String

    Definition Classes

    AnyRef → Any

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

32. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

34. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )