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.  def Input[Value](): Input[Value]

   Definition Classes

   Specification

5.  def Operation[State, Value](initState: State, inputStreams: Seq[Stream[Value]])(op: (BigInt, State, Seq[Option[Value]]) ⇒ (State, Option[Value])): Stream[Value]

   Definition Classes

   Specification

6.  def Operation[Value, State, Inputs <: HList, InputStreams <: HList](initState: State, inputStreams: InputStreams)(op: (BigInt, State, Inputs) ⇒ (State, Option[Value]))(implicit constraint: StreamConstraint[_, Inputs, InputStreams]): Stream[Value]

   Definition Classes

   Specification

7.  def addOutStreamListener(callback: (BigInt, String, Value) ⇒ Unit): Unit
8.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10.  implicit def consStreamConstraint[Value, Complete <: HList, Inputs <: HList, InputStreams <: HList](implicit ev: StreamConstraint[Complete, Inputs, InputStreams]): StreamConstraint[::[Value, Complete], ::[Option[Value], Inputs], ::[Stream[Value], InputStreams]]

    Definition Classes

    Specification

11.  def const[Value](value: Value): Stream[Value]

    Definition Classes

    Specification

12.  lazy val defs: Map[String, Lazy[Stream[Value]]]
13.  def delayedLast[Value](delays: ⇒ Stream[BigInt], values: ⇒ Stream[Value]): Stream[Value]

    Definition Classes

    Specification

14.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

15.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

16.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

17.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

18.  def getTime: BigInt

    Definition Classes

    Specification

19.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

20.  val inStreams: Map[String, (Input[Value], ValueType)]
21.  def intStream(stream: Stream[Value], loc: Location): Stream[BigInt]
22.  def intStreamToValueStream(stream: Stream[BigInt]): Stream[Value]
23.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

24.  def last[Value](times: Stream[_], values: ⇒ Stream[Value]): Stream[Value]

    Definition Classes

    Specification

25.  def lift[Value, Complete <: HList, Inputs <: HList, Streams <: HList](streams: Streams)(op: (Complete) ⇒ Option[Value])(implicit constraint: StreamConstraint[Complete, Inputs, Streams]): Stream[Value]

    Definition Classes

    Specification

26.  def lift[Value](streams: Seq[Stream[Value]])(op: (Seq[Value]) ⇒ Option[Value]): Stream[Value]

    Definition Classes

    Specification

27.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

28.  def nil[Value]: Stream[Value]

    Definition Classes

    Specification

29.  implicit val nilSteamConstraint: StreamConstraint[HNil, HNil, HNil]

    Definition Classes

    Specification

30.  final def notify(): Unit

    Definition Classes

    AnyRef

31.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

32.  lazy val outStreams: Map[String, Stream[Value]]
33.  def period(value: BigInt): Stream[Unit]

    Definition Classes

    Specification

34.  def printStream(stream: Stream[_], name: String): Unit

    Definition Classes

    Specification

35.  val spec: TesslaCore.Specification
36.  def step(timeDelta: BigInt): Unit

    Propagates all inputs and progresses time.z

    Propagates all inputs and progresses time.z

    Definition Classes

    Specification

37.  def step(): Unit

    Propagates all inputs without progressing time.

    Propagates all inputs without progressing time. Can only be called once per point in time. No more input values can be provided for the current time afterwards.

    Definition Classes

    Specification

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

    Definition Classes

    AnyRef

39.  def toString(): String

    Definition Classes

    AnyRef → Any

40.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

43.  object RegionBegin extends RegionMark with Product with Serializable

    Definition Classes

    Specification

44.  object RegionInside extends RegionMark with Product with Serializable

    Definition Classes

    Specification

45.  object RegionOutside extends RegionMark with Product with Serializable

    Definition Classes

    Specification

46.  object ResetStream

    Definition Classes

    Specification