AutomataFactory (lisa-sdk 0.1b9 API)

Type Parameters:

A - the concrete type of the automata created by this factory

T - the concrete type of TransitionSymbols that instances of A have on their transitions

All Known Implementing Classes:

Automaton
```
public interface AutomataFactory<A extends Automaton<A,T>,T extends TransitionSymbol<T>>
```
A factory for creating instances of Automaton.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`A`	`emptyLanguage()`	Yields a new automaton recognizing the empty language.
`A`	`emptyString()`	Yields a new automaton recognizing only the empty string.
`A`	`from(java.util.SortedSet<State> states, java.util.SortedSet<Transition<T>> transitions)`	Builds a new automaton with the given states and transitions.
`A`	`singleString(java.lang.String string)`	Yields a new automaton recognizing only the given string.
`A`	`unknownString()`	Yields a new automaton recognizing a statically-unknown string.

- Method Detail
  - singleString
```
A singleString(java.lang.String string)
```
    Yields a new automaton recognizing only the given string.
    
    Parameters:
    
    string - the string to recognize
    
    Returns:
    
    the new automaton
  - unknownString
```
A unknownString()
```
    Yields a new automaton recognizing a statically-unknown string.
    
    Returns:
    
    the new automaton
  - emptyLanguage
```
A emptyLanguage()
```
    Yields a new automaton recognizing the empty language.
    
    Returns:
    
    the new automaton
  - emptyString
```
A emptyString()
```
    Yields a new automaton recognizing only the empty string.
    
    Returns:
    
    the new automaton
  - from
```
A from(java.util.SortedSet<State> states,
       java.util.SortedSet<Transition<T>> transitions)
```
    Builds a new automaton with the given states and transitions.
    
    Parameters:
    
    states - the states
    
    transitions - the transitions
    
    Returns:
    
    the new automaton