Package net.automatalib.util.automaton.procedural

Class Summary

Class	Description
ATRSequences<I>	A data class for aggregating access sequences, terminating sequences, and return sequences.
ATSequences<I>	A data class for aggregating access sequences and terminating sequences.
SBAs	Operations on SBAs.
SPAs	Operations on SPAs.
SPMMs	Operations on SPMMs.