abstract class ScafiProgram extends alchemist.model.scafi.ScafiIncarnationForAlchemist.AggregateProgram with alchemist.model.scafi.ScafiIncarnationForAlchemist.StandardSensors with ScafiAlchemistSupport
The scafi logic used to construct the state with aggregate programming
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ScafiProgram
- ScafiAlchemistSupport
- StandardSensors
- StandardSensorNames
- StandardSpatialSensorNames
- StandardTemporalSensorNames
- StandardPlatformSensorNames
- AggregateProgram
- AggregateInterpreter
- Serializable
- FieldCalculusSyntax
- Builtins
- ExecutionTemplate
- ProgramSchema
- ConstructsSemantics
- Constructs
- Function1
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new ScafiProgram()
Type Members
- type MainResult = Any
- Definition Classes
- AggregateInterpreter → ProgramSchema
Abstract Value Members
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val LSNS_DELTA_TIME: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardTemporalSensorNames
- val LSNS_POSITION: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardSpatialSensorNames
- val LSNS_RANDOM: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardPlatformSensorNames
- val LSNS_TIME: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardTemporalSensorNames
- val LSNS_TIMESTAMP: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardTemporalSensorNames
- val NBR_DELAY: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardTemporalSensorNames
- val NBR_LAG: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardTemporalSensorNames
- val NBR_RANGE: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardSpatialSensorNames
- val NBR_VECTOR: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME
- Definition Classes
- StandardSpatialSensorNames
- def aggregate[T](f: => T): T
- Definition Classes
- ConstructsSemantics → Constructs
- def alchemistCoordinates: Array[Double]
- Definition Classes
- ScafiAlchemistSupport
- def alchemistDeltaTime(whenNan: Double): Double
- Definition Classes
- ScafiAlchemistSupport
- def alchemistEnvironment: Environment[Any, Position[_]]
- Definition Classes
- ScafiAlchemistSupport
- def alchemistRandomGen: RandomGenerator
- Definition Classes
- ScafiAlchemistSupport
- def alchemistTimestamp: Time
- Definition Classes
- ScafiAlchemistSupport
- def align[K, V](key: K)(proc: (K) => V): V
- Definition Classes
- ConstructsSemantics → Constructs
- def andThen[A](g: (alchemist.model.scafi.ScafiIncarnationForAlchemist.EXPORT) => A): (alchemist.model.scafi.ScafiIncarnationForAlchemist.CONTEXT) => A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def apply(c: alchemist.model.scafi.ScafiIncarnationForAlchemist.CONTEXT): alchemist.model.scafi.ScafiIncarnationForAlchemist.EXPORT
- Definition Classes
- ExecutionTemplate → Function1
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def branch[A](cond: => Boolean)(th: => A)(el: => A): A
- Definition Classes
- Builtins
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- def compose[A](g: (A) => alchemist.model.scafi.ScafiIncarnationForAlchemist.CONTEXT): (A) => alchemist.model.scafi.ScafiIncarnationForAlchemist.EXPORT
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def currentPosition(): P
- Definition Classes
- StandardSensors
- def currentTime(): alchemist.model.scafi.ScafiIncarnationForAlchemist.Time
- Definition Classes
- StandardSensors
- def deltaTime(): FiniteDuration
- Definition Classes
- StandardSensors
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def foldhood[A](init: => A)(aggr: (A, A) => A)(expr: => A): A
- Definition Classes
- ConstructsSemantics → Constructs
- def foldhoodPlus[A](init: => A)(aggr: (A, A) => A)(expr: => A): A
- Definition Classes
- Builtins
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def main(): Unit
- Definition Classes
- ScafiProgram → ProgramSchema
- def maxHood[A](expr: => A)(implicit of: Bounded[A]): A
- Definition Classes
- Builtins
- def maxHoodPlus[A](expr: => A)(implicit of: Bounded[A]): A
- Definition Classes
- Builtins
- def mid(): alchemist.model.scafi.ScafiIncarnationForAlchemist.ID
- Definition Classes
- ConstructsSemantics → Constructs
- def minHood[A](expr: => A)(implicit of: Bounded[A]): A
- Definition Classes
- Builtins
- def minHoodLoc[A](default: A)(expr: => A)(implicit poglb: PartialOrderingWithGLB[A]): A
- Definition Classes
- Builtins
- def minHoodPlus[A](expr: => A)(implicit of: Bounded[A]): A
- Definition Classes
- Builtins
- def minHoodPlusLoc[A](default: A)(expr: => A)(implicit poglb: PartialOrderingWithGLB[A]): A
- Definition Classes
- Builtins
- def mux[A](cond: Boolean)(th: A)(el: A): A
- Definition Classes
- Builtins
- def nbr[A](expr: => A): A
- Definition Classes
- ConstructsSemantics → Constructs
- def nbrDelay(): FiniteDuration
- Definition Classes
- StandardSensors
- def nbrLag(): FiniteDuration
- Definition Classes
- StandardSensors
- def nbrRange(): alchemist.model.scafi.ScafiIncarnationForAlchemist.D
- Definition Classes
- StandardSensors
- def nbrVector(): P
- Definition Classes
- StandardSensors
- def nbrvar[A](name: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME): A
- Definition Classes
- ConstructsSemantics → Constructs
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nextRandom(): Double
- Definition Classes
- ScafiAlchemistSupport
- def node: NodeManager
- Definition Classes
- ScafiAlchemistSupport
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- lazy val randomGen: Random
- Definition Classes
- ScafiAlchemistSupport
- def randomGenerator(): Random
- Definition Classes
- ScafiAlchemistSupport
- def rep[A](init: => A)(fun: (A) => A): A
- Definition Classes
- ConstructsSemantics → Constructs
- def round(c: alchemist.model.scafi.ScafiIncarnationForAlchemist.CONTEXT, e: => Any): alchemist.model.scafi.ScafiIncarnationForAlchemist.EXPORT
- Definition Classes
- ExecutionTemplate
- def sense[A](name: alchemist.model.scafi.ScafiIncarnationForAlchemist.CNAME): A
- Definition Classes
- ConstructsSemantics → Constructs
- def senseEnvData[A](name: String): A
- Definition Classes
- ScafiAlchemistSupport
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def timestamp(): Long
- Definition Classes
- StandardSensors
- def toString(): String
- Definition Classes
- Function1 → AnyRef → Any
- val vm: alchemist.model.scafi.ScafiIncarnationForAlchemist.RoundVM
- Definition Classes
- ExecutionTemplate → ConstructsSemantics
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated