Package cz.cuni.mff.ksi.jinfer.base.automaton

This package contains data structures and interfaces for Finite State Automata.

See:
Description

Interface Summary

AutomatonClonerSymbolConverter<A,B>

Interface for AutomatonCloner Has to implement only one method - convertSymbol, in which it has to return symbol of type B, for each possible symbol of type A.

Class Summary

Automaton<T>	Class representing deterministic finite automaton.
AutomatonCloner<A,B>	AutomatonCloner is helper class, which does just what it's name says.
AutomatonRegexpIntervalExpander	Class for recursive expanding of all intervals of regexps, that cannot be represented in DTD format.
State<T>	Class representing state in deterministic finite automaton.
Step<T>	Class representing step sin finite automaton.

Package cz.cuni.mff.ksi.jinfer.base.automaton Description

This package contains data structures and interfaces for Finite State Automata.