Module net.automatalib.core

Package net.automatalib.ts.modal.impl

Implementations for net.automatalib.ts.modal.

Class Summary

Class	Description
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>	An abstract base-implementation for MutableModalTransitionSystems.
CompactMTS<I>
MTSTransition<TP extends MutableModalEdgeProperty>