Trait

it.unibo.scafi.lib.StdLib_StateManagement

StateManagement

Related Doc: package StdLib_StateManagement

Permalink

trait StateManagement extends AnyRef

Self Type
(StdLib_StateManagement.this)#StateManagement with (StdLib_StateManagement.this)#FieldCalculusSyntax
Linear Supertypes
AnyRef, Any
Known Subclasses
BlockG, BlockS, BlocksWithGC, BuildingBlocks, Gradients, ReplicatedGossip
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StateManagement
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def captureChange[T](x: T, initially: Boolean = true): Boolean

    Permalink

    returns

    true only when a discontinuity (i.e., a change) is observed on x (you may choose how to handle the first observation)

  6. def clone(): AnyRef

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

  7. def constant[T](value: ⇒ T): T

    Permalink

    Alias for remember()

  8. def countChanges[T](x: T, initially: Boolean = true): (Long, Boolean)

    Permalink

  9. def delay[T](value: T): T

    Permalink

    It is a simple building block which returns the same values it receives in input delayed by one computation round.

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

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  13. def goesDown(value: Boolean): Boolean

    Permalink

    returns

    true when the given parameter goes from true to false (starting from false); false otherwise

  14. def goesUp(value: Boolean): Boolean

    Permalink

    returns

    true when the given parameter goes from false to true (starting from false); false otherwise

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  17. def keep(expr: ⇒ Boolean): Boolean

    Permalink

    Remembers the occurrence of some condition or event

  18. def keep[T](expr: ⇒ Option[T]): Option[T]

    Permalink

    Remembers the provided optional value, unless empty

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

    Permalink
    Definition Classes
    AnyRef

  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  22. def once[T](expr: ⇒ T): Option[T]

    Permalink

    Returns a non-empty optional with the provided value just once, then None

  23. def remember[T](value: ⇒ T): T

    Permalink

    Remembers the provided value

  24. def roundCounter(): Long

    Permalink

    Counts the number of rounds, refreshing each time the computation is re-entered.

    Counts the number of rounds, refreshing each time the computation is re-entered. TODO: consider boundedness as a limitation for long-lived/eternal systems

    returns

    the number of the round

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

    Permalink
    Definition Classes
    AnyRef

  26. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped