scala-automata/org.maraist.fa.elements

org.maraist.fa.elements

package org.maraist.fa.elements

Type members

Classlikes

case
class AddETransition[S](state1: S, state2: S)
case
class AddFinalState[S, T](state: S)
case
class AddInitialState[S](state: S)
case
class AddProbETransition[S, T](state1: S, state2: S, prob: Double)
case
class AddProbFinalState[S, T](state: S, prob: Double)
case
class AddProbTransition[S, T](state1: S, trans: T, state2: S, prob: Double)
case
class AddState[S, T](state: S)
case
class AddTransition[S, T](state1: S, trans: T, state2: S)
case
class RemoveAnnotation[S, T, A](src: S, label: T, dest: S)
case
class RemoveEAnnotation[S, A](src: S, dest: S)
case
class RemoveETransition[S](state1: S, state2: S)
case
class RemoveFinalState[S, T](state: S)
case
class RemoveInitialState[S](state: S)
case
class RemoveProbETransition[S, T](state1: S, state2: S, prob: Double)
case
class RemoveState[S, T](state: S)
case
class RemoveTransition[S, T](state1: S, trans: T, state2: S)
case
class SetAnnotation[S, T, A](src: S, label: T, dest: S, annotation: A)
case
class SetEAnnotation[S, A](src: S, dest: S, annotation: A)
case
class SetInitialState[S](state: S)

Builder-pattern element for setting the initial state in a DFA builder.

Builder-pattern element for setting the initial state in a DFA builder.

Type Params
S

The type of all states of the automaton

Types

type DFAelements[S, T] = FAelements[S, T] | SetInitialState[S] | AddTransition[S, T] | RemoveTransition[S, T]

All Builder-pattern elements pertaining to traits.DFAs.

All Builder-pattern elements pertaining to traits.DFAs.

Type Params
S

The type of all states of the automaton

T

The type of labels on transitions of the automaton

type FAelements[S, T] = AddState[S, T] | RemoveState[S, T] | AddFinalState[S, T] | RemoveFinalState[S, T]

All Builder-pattern elements pertaining to any finite automaton.

All Builder-pattern elements pertaining to any finite automaton.

Type Params
S

The type of all states of the automaton

T

The type of labels on transitions of the automaton

type NFAelements[S, T] = FAelements[S, T] | AddInitialState[S] | RemoveInitialState[S] | AddTransition[S, T] | RemoveTransition[S, T] | AddETransition[S] | RemoveETransition[S]

All Builder-pattern elements pertaining to traits.NFAs.

All Builder-pattern elements pertaining to traits.NFAs.

Type Params
S

The type of all states of the automaton

T

The type of labels on transitions of the automaton

type PFAelements[S, T] = AddState[S, T] | RemoveState[S, T] | ProbBuilders[S, T]