automata

Type Members

1. abstract class ADotOption extends AnyRef

   

2. case class AMealy(alphabet: Set[String], states: Set[State], start: PosBool[State], transitions: Map[(State, Sign), PosBool[(B4, DirectedState)]]) extends Automaton with Product with Serializable

   

   Represents alternating Mealy-machines with B4 as the set of outputs.

   Represents alternating Mealy-machines with B4 as the set of outputs.

   alphabet

   the alphabet of the alternating Mealy-machine

   states

   a set of the states of the alternating Mealy-machine

   start

   a positive boolean combination representing the the initial states of the alternating Mealy-machine

   transitions

   maps an actual states and an element of the alphabet onto a positive boolean combination as next states and an output

3. trait AffHelperParserCombinators extends JavaTokenParsers

   

4. trait AlphabetParserCombinators extends AffHelperParserCombinators

   

5. case class Apa(alphabet: Set[String], states: List[State], start: PosBool[State], transitions: Map[(State, Sign), PosBool[DirectedState]], colors: Map[State, Int]) extends Automaton with Product with Serializable

   

   Represents (2)APAs.

   Represents (2)APAs.

   alphabet

   the alphabet of the APA

   states

   a list of the states of the APA

   start

   a positive boolean formula describing the initial states of the APA

   transitions

   maps an actual states and an element of the alphabet onto a positive boolean combination describing the next states

   colors

   maps a state onto its color.

6. case class ApaSpecular(positive: Apa, negative: Apa) extends AutomatonSpecular with Product with Serializable

   

   Represents a pair of APAs

7. abstract class Automata extends AnyRef

   

8. class AutomataParserCombinators extends AlphabetParserCombinators

   

9. abstract class Automaton extends Automata

   

10. abstract class AutomatonSpecular extends Automata

    

11. abstract class B3 extends AnyRef

    

    Represents the B3 = {top, ?, bot} truth domain.

12. abstract class B4 extends AnyRef

    

    Represents the B4 = {top, ptop, pbot, bot} truth domain.

13. case class BoolAnd[+A](_1: PosBool[A], _2: PosBool[A]) extends PosBool[A] with Product with Serializable

    

    Represents a boolean "and" operator that connects two positive boolean formulas.

    Represents a boolean "and" operator that connects two positive boolean formulas.

    _1

    the first boolean formula.

    _2

    the second boolean formula.

14. case class BoolElement[+A](value: A) extends BoolPiece[A] with Product with Serializable

    

    Represents a general boolean element.

15. abstract class BoolOperator extends AnyRef

    

    Represents general boolean operators.

16. case class BoolOr[+A](_1: PosBool[A], _2: PosBool[A]) extends PosBool[A] with Product with Serializable

    

    Represents a boolean "or" operator that connects two positive boolean formulas.

    Represents a boolean "or" operator that connects two positive boolean formulas.

    _1

    the first boolean formula.

    _2

    the second boolean formula.

17. abstract class BoolPiece[+A] extends PosBool[A]

    

18. case class DirectedState(direction: Direction, state: State) extends Product with Serializable

    

19. abstract class Direction extends AnyRef

    

20. case class EqualIf[+A](condition: A) extends Equality[A] with Product with Serializable

    

21. abstract class Equality[+A] extends AnyRef

    

22. case class Fa[A, B, C](alphabet: Set[A], states: Set[State], start: State, transitions: Map[(State, A), (State, B)], output: Map[State, C]) extends Product with Serializable

    

    Represents deterministic one-way finite automata without epsilon transitions and other simplifications like transitions for any input.

    Represents deterministic one-way finite automata without epsilon transitions and other simplifications like transitions for any input. To represent all kinds of deterministic automata this class supports outputs in the states as well as output at the transitions.

23. case class Mealy(alphabet: Set[String], states: List[State], start: State, transitions: Map[(State, Sign), (B4, State)]) extends Automaton with Product with Serializable

    

    Represents Mealy-machines with B4 as the set of outputs.

    Represents Mealy-machines with B4 as the set of outputs.

    alphabet

    the alphabet of the Mealy-machine

    states

    a set of the states of the Mealy-machine

    start

    a positive boolean combination representing the the initial states of the Mealy-machine

    transitions

    maps an actual states and an element of the alphabet onto a positive boolean combination as next states and an output

24. case class Moore(alphabet: Set[String], states: Set[State], start: State, transitions: Map[(State, Sign), State], labels: Map[State, B3]) extends Automaton with Product with Serializable

    

    Represents Moore-machines with B3 as the set of outputs.

    Represents Moore-machines with B3 as the set of outputs.

    alphabet

    the alphabet of the Moore-machine

    states

    a set of the states of the Moore-machine

    start

    the initial state of the Moore-machine

    transitions

    maps an actual states and an element of the alphabet onto a state as next state

    labels

    maps each state onto its output value.

25. case class Nba(alphabet: Set[String], states: List[State], start: List[State], transitions: Map[(State, Sign), List[DirectedState]], accepting: List[State]) extends Automaton with Product with Serializable

    

    Represents (2)NBAs.

    Represents (2)NBAs.

    alphabet

    the alphabet of the NBA

    states

    a list of the states of the NBA

    start

    a list of states containing the initial states of the NBA

    transitions

    maps an actual states and an element of the alphabet onto a list with the next states

    accepting

    a list of states containing the accepting states of the NBA

26. case class NbaSpecular(positive: Nba, negative: Nba) extends AutomatonSpecular with Product with Serializable

    

    Represents a pair of NBAs

    Represents a pair of NBAs

    positive

    the first NBA.

    negative

    the second NBA.

27. case class Nfa(alphabet: Set[String], states: List[State], start: List[State], transitions: Map[(State, Sign), List[DirectedState]], accepting: List[State]) extends Automaton with Product with Serializable

    

    Represents (2)NFAs.

    Represents (2)NFAs.

    alphabet

    the alphabet of the NFA

    states

    a list of the states of the NFA

    start

    a list of states containing the initial states of the NFA

    transitions

    maps an actual states and an element of the alphabet onto a list with the next states

    accepting

    a list of states containing the accepting states of the NFA

28. case class NfaSpecular(positive: Nfa, negative: Nfa) extends AutomatonSpecular with Product with Serializable

    

    Represents a pair of NFAs

    Represents a pair of NFAs

    positive

    the first NFA.

    negative

    the second NFA.

29. case class ParsingException(message: String) extends RuntimeException with Product with Serializable

    

30. abstract class PosBool[+A] extends AnyRef

    

    Represents a general positive boolean formula.

31. abstract class Sign extends AnyRef

    

32. case class SignNotFoundException(message: String) extends Exception with Product with Serializable

    

33. case class State(name: String = "") extends Product with Serializable

    

34. case class StateNotFoundException(message: String) extends Exception with Product with Serializable

    

35. case class Text(value: String) extends Sign with Product with Serializable