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.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

9.  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

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

    Definition Classes

    Specification

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

    Definition Classes

    Specification

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

    Definition Classes

    AnyRef

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

    Definition Classes

    AnyRef → Any

15.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

17.  def getTime: BigInt

    Definition Classes

    Specification

18.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    Any

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

    Definition Classes

    Specification

24.  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

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

    Definition Classes

    Specification

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

    Definition Classes

    AnyRef

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

    Definition Classes

    Specification

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

    Definition Classes

    Specification

29.  final def notify(): Unit

    Definition Classes

    AnyRef

30.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    Specification

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

    Definition Classes

    Specification

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

    Propagates all inputs and progresses time.z

    Propagates all inputs and progresses time.z

    Definition Classes

    Specification

36.  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

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

    Definition Classes

    AnyRef

38.  def toString(): String

    Definition Classes

    AnyRef → Any

39.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42.  object RegionBegin extends RegionMark with Product with Serializable

    Definition Classes

    Specification

43.  object RegionInside extends RegionMark with Product with Serializable

    Definition Classes

    Specification

44.  object RegionOutside extends RegionMark with Product with Serializable

    Definition Classes

    Specification

45.  object ResetStream

    Definition Classes

    Specification