Class/Object

de.uni_luebeck.isp.rltlconv.automata

DnfMoore

Related Docs: object DnfMoore | package automata

Permalink

case class DnfMoore(alphabet: AutomataAlphabet[String], states: Set[State], start: State, transitions: Map[State, Map[State, DnfExpression[String]]], labels: Map[State, B3]) extends Automaton with NameableStates[DnfMoore] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, NameableStates[DnfMoore], Automaton, Automata, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. DnfMoore
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. NameableStates
  7. Automaton
  8. Automata
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DnfMoore(alphabet: AutomataAlphabet[String], states: Set[State], start: State, transitions: Map[State, Map[State, DnfExpression[String]]], labels: Map[State, B3])

    Permalink

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. val alphabet: AutomataAlphabet[String]

    Permalink

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def callDot(filetype: String, adot: ADotOption = SingleBool): Array[Byte]

    Permalink
    Attributes
    protected[de.uni_luebeck.isp.rltlconv.automata]
    Definition Classes
    Automata

  7. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  9. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. val labels: Map[State, B3]

    Permalink

  13. def mapStates(f: (State) ⇒ State): DnfMoore

    Permalink
    Definition Classes
    DnfMoore → NameableStates

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

    Permalink
    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  17. val start: State

    Permalink

  18. val states: Set[State]

    Permalink
    Definition Classes
    DnfMoore → NameableStates

  19. def step(state: State, assignments: Seq[Map[String, Boolean]]): Option[State]

    Permalink

  20. def step(state: State, assignment: Map[String, Boolean]): Option[State]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  22. def toCCode: String

    Permalink

  23. def toDot(aDot: ADotOption = SingleBool): String

    Permalink
    Definition Classes
    DnfMoore → Automata

  24. def toEdgeMinimizedDnfMoore: DnfMoore

    Permalink

    Call toMinimizedDnfBool on all transitions

  25. def toPdf(aDot: ADotOption = SingleBool): Array[Byte]

    Permalink
    Definition Classes
    Automata

  26. def toPng(aDot: ADotOption = SingleBool): Array[Byte]

    Permalink
    Definition Classes
    Automaton

  27. def toRubyRvEventCode: String

    Permalink

  28. def toRubyStatesmanCode: String

    Permalink

  29. def toString(): String

    Permalink
    Definition Classes
    DnfMoore → AnyRef → Any

  30. def toSvg(aDot: ADotOption = SingleBool): Array[Byte]

    Permalink
    Definition Classes
    Automaton

  31. val transitions: Map[State, Map[State, DnfExpression[String]]]

    Permalink

  32. final def wait(): Unit

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

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

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

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

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from NameableStates[DnfMoore]

Inherited from Automaton

Inherited from Automata

Inherited from AnyRef

Inherited from Any

Ungrouped