Packages

object LTLClosures

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LTLClosures
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type LTLContext[G, M] = MatrixContext[G, LTLformula[M]]
  2. case class LTLalways[M](formula: LTLformula[M]) extends LTLformula[M] with Product with Serializable
  3. case class LTLconjunction[M](conjuncts: Iterable[LTLformula[M]]) extends LTLformula[M] with Product with Serializable
  4. abstract class LTLformula[+M] extends AnyRef
  5. case class LTLimplication[M](premise: LTLformula[M], conclusion: LTLformula[M]) extends LTLformula[M] with Product with Serializable
  6. case class LTLliteral[M](variable: M) extends LTLformula[M] with Product with Serializable
  7. case class LTLnext[M](formula: LTLformula[M]) extends LTLformula[M] with Product with Serializable
  8. case class LTLsometimes[M](formula: LTLformula[M]) extends LTLformula[M] with Product with Serializable
  9. case class LTLuntil[M](guard: LTLformula[M], future: LTLformula[M]) extends LTLformula[M] with Product with Serializable
  10. type TemporalContext[G, M] = MatrixContext[G, (M, Int)]
  11. type Trace[M] = Set[(M, Int)]

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. def fromJavaSet[T](jset: Set[T]): Set[T]
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. def getObjectTrace[G, M](cxt: MatrixContext[G, (M, Int)], obj: G): Trace[M]
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. def ltlize[G, M](tcxt: TemporalContext[G, M], t0: Int): LTLContext[G, M]
  15. def ltlmodels[G, M](tcxt: TemporalContext[G, M], tmax: Int)(g: G, t: Int, ƒ: LTLformula[M]): Boolean
  16. def main(args: Array[String]): Unit
  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  21. def temporalContext[G, M](data: (G, M, Int)*): TemporalContext[G, M]
  22. def toJavaSet[T](set: Set[T]): Set[T]
  23. def toLTLformula[M](trace: Trace[M], t0: Int, t1: Int, depth: Int): LTLformula[M]
  24. def toLTLformula[M](trace: Trace[M], t0: Int, depth: Int): LTLformula[M]
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  29. object LTLfalse extends LTLformula[Nothing] with Product with Serializable
  30. object LTLtrue extends LTLformula[Nothing] with Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped