scala-automata/org.maraist.fa.traits

org.maraist.fa.traits

package org.maraist.fa.traits

Type members

Classlikes

trait DFA[S, T, -Z <: (AutomatonStyle)] extends FA[S, T, Z] with UnindexedDFA[S, T, Z]

Methods associated with a deterministic finite automaton (using indexed storage).

Methods associated with a deterministic finite automaton (using indexed storage).

Type Params
S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait DFABuilder[S, T, +D <: (DFA), -K >: DFAelements[S, T] <: Matchable, -Z <: (AutomatonStyle)] extends FABuilder[S, T, D, K, Z] with UnindexedDFA[S, T, Z]

Methods for builders of a deterministic finite automaton.

Methods for builders of a deterministic finite automaton.

Type Params
D

Type of DFA constructed by this builder.

K

Builder elements for this builder.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait EdgeAnnotatedDFA[S, T, A, -Z <: (EdgeAnnotatedAutomatonStyle)] extends EdgeAnnotatedFA[S, T, A, Z] with UnindexedEdgeAnnotatedDFA[S, T, A, Z] with DFA[S, T, Z]

Implementation of a edge-annotated DFA.

Implementation of a edge-annotated DFA.

Type Params
S

The type of all states of the automaton

T

The type of labels on (non-epsilon) transitions of the automaton

Value Params
finalStateIndices

Set of the indices of the final states of the automaton

initialStateIndex

Index of the initial state of the automaton.

trait EdgeAnnotatedDFABuilder[S, T, A, +D <: (EdgeAnnotatedDFA), -K >: EdgeAnnotatedDFAelements[S, T, A] <: Matchable, -Z <: (EdgeAnnotatedAutomatonStyle)]() extends EdgeAnnotatedFABuilder[S, T, A, D, K, Z] with UnindexedEdgeAnnotatedDFA[S, T, A, Z]

Methods for the builder of any finite automaton.

Methods for the builder of any finite automaton.

Type Params
A

Type of automaton constructed.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export.

trait EdgeAnnotatedFA[S, T, A, -Z <: (EdgeAnnotatedAutomatonStyle)] extends FA[S, T, Z] with UnindexedEdgeAnnotatedFA[S, T, A, Z]

Methods provided by an edge-annotated nondeterministic (non-indexed) finite automata (NFA).

Methods provided by an edge-annotated nondeterministic (non-indexed) finite automata (NFA).

Type Params
A

The type of annotations on transitions

S

The type of all states of the automaton

T

The type of labels on (non-epsilon) transitions of the automaton

Z

Style options for Graphviz layout of these automata

trait EdgeAnnotatedFABuilder[S, T, A, +M <: (EdgeAnnotatedFA), -K >: EdgeAnnotatedFAelements[S, T, A] <: Matchable, -Z <: (EdgeAnnotatedAutomatonStyle)]() extends FABuilder[S, T, M, K, Z] with UnindexedEdgeAnnotatedFA[S, T, A, Z]

Methods for the builder of any finite automaton.

Methods for the builder of any finite automaton.

Type Params
A

Type of automaton constructed.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export.

trait EdgeAnnotatedNFA[S, T, NA, DA, G <: (Set), +D <: (EdgeAnnotatedDFA), -NZ <: (EdgeAnnotatedAutomatonStyle), -DZ <: (EdgeAnnotatedAutomatonStyle)] extends NFA[S, T, G, D, NZ, DZ] with EdgeAnnotatedFA[S, T, NA, NZ]

Methods for builders of a deterministic finite automaton.

Methods for builders of a deterministic finite automaton.

Type Params
D

Type of DFA constructed by this NFA.

G

Collection type constructor for states in constructed DFAs.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait EdgeAnnotatedNFABuilder[S, T, NA, DA, G <: (Set), +D <: (EdgeAnnotatedDFA), +N <: (EdgeAnnotatedNFA), -K >: EdgeAnnotatedNFAelements[S, T, NA] <: Matchable, -NZ <: (EdgeAnnotatedAutomatonStyle), -DZ <: (EdgeAnnotatedAutomatonStyle)]() extends NFABuilder[S, T, G, D, N, K, NZ, DZ] with EdgeAnnotatedFABuilder[S, T, NA, N, K, NZ] with UnindexedEdgeAnnotatedNFA[S, T, NA, DA, G, D, NZ, DZ]

Methods for the builder of any finite automaton.

Methods for the builder of any finite automaton.

Type Params
N

Type of automaton constructed.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export.

trait FA[S, T, -Z <: (AutomatonStyle)] extends UnindexedFA[S, T, Z]

Core methods of any automaton with indexed storage.

Core methods of any automaton with indexed storage.

Type Params
S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait FABuilder[S, T, +A <: (FA), -K >: FAelements[S, T] <: Matchable, -Z <: (AutomatonStyle)]() extends Builder[K, A[S, T]] with UnindexedFA[S, T, Z]

Methods for the builder of any finite automaton.

Methods for the builder of any finite automaton.

Type Params
A

Type of automaton constructed.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export.

trait NFA[S, T, G <: (Set), +D <: (DFA), -NZ <: (AutomatonStyle), -DZ <: (AutomatonStyle)] extends UnindexedNFA[S, T, G, D, NZ, DZ] with FA[S, T, NZ]

Methods for builders of a deterministic finite automaton.

Methods for builders of a deterministic finite automaton.

Type Params
D

Type of DFA constructed by the resulting NFA.

G

Collection type constructor for states in the DFA constructed by the resulting NFA.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait NFABuilder[S, T, G <: (Set), +D <: (DFA), +N <: (NFA), -K >: NFAelements[S, T] <: Matchable, -NZ <: (AutomatonStyle), -DZ <: (AutomatonStyle)] extends FABuilder[S, T, N, K, NZ] with UnindexedNFA[S, T, G, D, NZ, DZ]

Methods for builders of a nondeterministic finite automaton.

Methods for builders of a nondeterministic finite automaton.

Type Params
D

Type of DFA constructed by the resulting NFA.

G

Collection type constructor for states in the DFA constructed by the resulting NFA.

N

Type of NFA constructed by this builder.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait PFA[S, T, -Z <: (ProbabilisticAutomatonStyle)] extends UnindexedPFA[S, T, Z] with FA[S, T, Z]

Trait of the usage operations on an indexed PFA.

Trait of the usage operations on an indexed PFA.

Type Params
S

The type of all states of the automaton.

T

The type of labels on transitions of the automaton.

Z

Type of style options for Graphviz export.

trait PFABuilder[S, T, +A <: (PFA), -K >: PFAelements[S, T] <: Matchable, -Z <: (ProbabilisticAutomatonStyle)] extends Builder[K, A[S, T]] with UnindexedPFA[S, T, Z]

Builders for probabilistic finite automata (PFAs).

Builders for probabilistic finite automata (PFAs).

Type Params
A

Type of automaton constructed.

S

The type of all states of the automaton

T

The type of labels on (non-epsilon) transitions of the automaton

Z

Type of style options for Graphviz export.

trait UnindexedDFA[S, T, -Z <: (AutomatonStyle)] extends UnindexedFA[S, T, Z]

Methods associated with a deterministic finite automaton.

Methods associated with a deterministic finite automaton.

Type Params
S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait UnindexedEdgeAnnotatedDFA[S, T, A, -Z <: (EdgeAnnotatedAutomatonStyle)] extends UnindexedEdgeAnnotatedFA[S, T, A, Z] with UnindexedDFA[S, T, Z]

Implementation of a edge-annotated DFA.

Implementation of a edge-annotated DFA.

Type Params
S

The type of all states of the automaton

T

The type of labels on (non-epsilon) transitions of the automaton

Value Params
finalStateIndices

Set of the indices of the final states of the automaton

initialStateIndex

Index of the initial state of the automaton.

trait UnindexedEdgeAnnotatedFA[S, T, A, -Z <: (EdgeAnnotatedAutomatonStyle)] extends UnindexedFA[S, T, Z]

Methods provided by an edge-annotated nondeterministic (non-indexed) finite automata (NFA).

Methods provided by an edge-annotated nondeterministic (non-indexed) finite automata (NFA).

Type Params
A

The type of annotations on transitions

S

The type of all states of the automaton

T

The type of labels on (non-epsilon) transitions of the automaton

Z

Style options for Graphviz layout of these automata

trait UnindexedEdgeAnnotatedNFA[S, T, NA, DA, G <: (Set), +D <: (EdgeAnnotatedDFA), -NZ <: (EdgeAnnotatedAutomatonStyle), -DZ <: (EdgeAnnotatedAutomatonStyle)] extends UnindexedEdgeAnnotatedFA[S, T, NA, NZ] with UnindexedNFA[S, T, G, D, NZ, DZ]

Methods for builders of a deterministic finite automaton.

Methods for builders of a deterministic finite automaton.

Type Params
D

Type of DFA constructed by this NFA.

G

Collection type constructor for states in constructed DFAs.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait UnindexedFA[S, T, -Z <: (AutomatonStyle)] extends Graphable[S, T, Z] with Pretty

Core methods of any automaton.

Core methods of any automaton.

Type Params
S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait UnindexedNFA[S, T, G <: (Set), +D <: (DFA), -NZ <: (AutomatonStyle), -DZ <: (AutomatonStyle)] extends UnindexedFA[S, T, NZ]

Methods for builders of a deterministic finite automaton.

Methods for builders of a deterministic finite automaton.

Type Params
D

Type of DFA constructed by this NFA.

G

Collection type constructor for states in constructed DFAs.

S

Type representing states.

T

Type representing transition labels.

Z

Type of style options for Graphviz export

trait UnindexedPFA[S, T, -Z <: (ProbabilisticAutomatonStyle)] extends UnindexedFA[S, T, Z]

Trait of the basic usage operations on any PFA.

Trait of the basic usage operations on any PFA.

Type Params
S

The type of all states of the automaton.

T

The type of labels on transitions of the automaton.

Z

Type of style options for Graphviz export.