c

com.cra.figaro.language

UniverseState

class UniverseState extends AnyRef

Saves the mutable state of a universe. This is useful for algorithms that need to maintain a state over elements, but involve a sub-procedure that mutates the state of the universe. This class provides the functionality for restoring the previous state. Immutable.

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

Instance Constructors

  1. new UniverseState(universe: Universe)

    universe

    Universe to save. Information about the current state of this universe is copied in the constructor.

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. val elementStates: Map[Element[_], ElementState]
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  12. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  13. val myActiveElements: Set[Element[_]]
  14. val myConditionedElements: Set[Element[_]]
  15. val myConstrainedElements: Set[Element[_]]
  16. val myContextStack: List[Element[_]]
  17. val myRecursiveUsedBy: Map[Element[_], Set[Element[_]]]
  18. val myRecursiveUses: Map[Element[_], Set[Element[_]]]
  19. val myStochasticElements: Set[Element[_]]
  20. val myUsedBy: Map[Element[_], Set[Element[_]]]
  21. val myUses: Map[Element[_], Set[Element[_]]]
  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 restore(): Unit

    Restores the universe to its state at the time of construction of this class.

    Restores the universe to its state at the time of construction of this class. In general, this means that any calls to the public API in Universe and Element will behave as if they were called when this class was instantiated, regardless of what calls to the API were made since instantiation.

    There are subtle exceptions to this rule. In particular, registered universe maps, element maps, and universe maps will not be changed. Additionally, myElementMap from ElementCollection will not be changed.

    Note that classes that extend functionality of Element and Universe with additional mutability may have undefined behavior with respect to this mutable information. For example, parameters that store learned values will not have their learned values copied.

    Since this class is immutable, this method can be called multiple times to repeatedly restore the same state after subsequent changes to the universe are made.

  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped