ParamState

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def :=(t: Map[T, U]): Unit

   

   Update this item of state to the value t.

   Update this item of state to the value t. The update is actually delayed until the end of the step when all updates in that step happen simultaneously (along with consistency checking). The state value only becomes defined when this latter process happens.

   Definition Classes

   State

4. def =:=(t: Map[T, U]): Boolean

   

   Equality on the underlying value.

   Equality on the underlying value. If this state item is undefined then it's not equal to anything.

   Definition Classes

   State

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

   

   Definition Classes

   AnyRef → Any

6. var _value: Option[Map[T, U]]

   

   The value of this item of state.

   The value of this item of state. None means undefined.

   Attributes

   protected

   Definition Classes

   State

7. def apply(t: T): ParamUpdater[T, U]

   

   Return an updater for the value at parameter t.

   Return an updater for the value at parameter t. Used as s(t) this will return the value in the state s at parameter t. Used as s(t) := u this will update the value to u at parameter t. The update is actually delayed until the end of the step when all updates in that step happen simultaneously (along with consistency checking). The state value only becomes defined when this latter process happens.

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def change(t: T, u: U): Unit

   

   Change this item of state to the value u at parameter t.

   Change this item of state to the value u at parameter t. The change occurs immediately.

10. def change(t: Map[T, U]): Unit

    

    Change this item of state to the value t.

    Change this item of state to the value t. The change occurs immediately.

    Definition Classes

    State

11. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

14. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

17. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

18. def isUndefined(t: T): Boolean

    

    Is this state item undefined at t or not ?

19. def isUndefined: Boolean

    

    Is this state item undefined or not?

    Is this state item undefined or not?

    Definition Classes

    State

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

    

    Definition Classes

    AnyRef

21. final def notify(): Unit

    

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

23. val psname: String

    

24. val sname: String

    

    Definition Classes

    State

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

    

    Definition Classes

    AnyRef

26. def toString(): String

    

    Make a printable representation for the contents of this state object.

    Make a printable representation for the contents of this state object.

    Definition Classes

    State → AnyRef → Any

27. def undefine(t: T): Unit

    

    Make this state item undefined at t.

28. def undefine(): Unit

    

    Make this state item undefined.

    Make this state item undefined.

    Definition Classes

    State

29. def value(t: T): U

    

    Return the value of this state item if it's defined at parameter t.

    Return the value of this state item if it's defined at parameter t. Otherwise abort execution.

30. def value: Map[T, U]

    

    Return the value of this state item if it's defined.

    Return the value of this state item if it's defined. Otherwise abort execution.

    Definition Classes

    State

31. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )