BricsAutomaton

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def &(that: Automaton): Automaton

   

   Intersection

   Intersection

   Definition Classes

   BricsAutomaton → Automaton

4. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

5. val LabelOps: BricsTLabelOps.type

   

   Operations on labels

   Operations on labels

   Definition Classes

   BricsAutomaton → AtomicStateAutomaton

6. lazy val acceptingStates: Set[State]

   

   The set of accepting states

   The set of accepting states

   Definition Classes

   BricsAutomaton → AtomicStateAutomaton

7. def apply(word: Seq[Int]): Boolean

   

   Check whether the automaton accepts a given word.

   Check whether the automaton accepts a given word.

   Definition Classes

   BricsAutomaton → Automaton

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

    

    Definition Classes

    AnyRef

11. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

12. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

13. def getAcceptedWord: Option[Seq[Int]]

    

    Get any word accepted by this automaton, or None if the language is empty

    Get any word accepted by this automaton, or None if the language is empty

    Definition Classes

    BricsAutomaton → Automaton

14. def getBuilder: BricsAutomatonBuilder

    

    Return new automaton builder of compatible type

    Return new automaton builder of compatible type

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

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

    

    Definition Classes

    AnyRef → Any

16. def getImage(s1: State, lbl: TLabel): Set[State]

    

    Get image of a state under a given label

    Get image of a state under a given label

    Definition Classes

    AtomicStateAutomaton

17. def getImage(states: Set[State], lbl: TLabel): Set[State]

    

    Get image of a set of states under a given label

    Get image of a set of states under a given label

    Definition Classes

    AtomicStateAutomaton

18. lazy val getLengthAbstraction: Formula

    

    Compute the length abstraction of this automaton.

    Compute the length abstraction of this automaton. Special case of Parikh images, following the procedure in Verma et al, CADE 2005

    Definition Classes

    AtomicStateAutomaton → Automaton

19. def getTransducerBuilder: BricsTransducerBuilder

    

    Return new automaton builder of compatible type

    Return new automaton builder of compatible type

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

20. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

21. lazy val initialState: State

    

    The unique initial state

    The unique initial state

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

22. def isAccept(s: State): Boolean

    

    Test if state is accepting

    Test if state is accepting

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

23. def isEmpty: Boolean

    

    Check whether this automaton describes the empty language.

    Check whether this automaton describes the empty language.

    Definition Classes

    BricsAutomaton → Automaton

24. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

25. lazy val labelEnumerator: BricsTLabelEnumerator

    

    To enumerate the labels used

    To enumerate the labels used

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

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

    

    Definition Classes

    AnyRef

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

29. def outgoingTransitions(from: State): Iterator[(State, TLabel)]

    

    Given a state, iterate over all outgoing transitions, try to be deterministic

    Given a state, iterate over all outgoing transitions, try to be deterministic

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

30. lazy val states: Iterable[State]

    

    Iterate over automaton states, return in deterministic order

    Iterate over automaton states, return in deterministic order

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

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

    

    Definition Classes

    AnyRef

32. def toDetailedString: String

    

    String representation of automaton in full gory detail

    String representation of automaton in full gory detail

    Definition Classes

    BricsAutomaton → AtomicStateAutomaton

33. def toString(): String

    

    Definition Classes

    BricsAutomaton → AnyRef → Any

34. def transitions: Iterator[(State, TLabel, State)]

    

    Iterate over all transitions

    Iterate over all transitions

    Definition Classes

    AtomicStateAutomaton

35. def unary_!: Automaton

    

    Complementation

    Complementation

    Definition Classes

    BricsAutomaton → Automaton

36. val underlying: dk.brics.automaton.Automaton

    

37. lazy val uniqueAcceptedWordLength: Option[Int]

    

    Field that is defined if the automaton only accepts words of some length l (and the language accepted by the automaton is non-empty)

    Field that is defined if the automaton only accepts words of some length l (and the language accepted by the automaton is non-empty)

    Definition Classes

    AtomicStateAutomaton

38. lazy val uniqueLengthStates: Map[State, Int]

    

    Compute states that can only be reached through words with some unique length

    Compute states that can only be reached through words with some unique length

    Definition Classes

    AtomicStateAutomaton

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. def |(that: Automaton): Automaton

    

    Union

    Union

    Definition Classes

    BricsAutomaton → Automaton