Package net.automatalib.util.ts.modal

Class Summary

Class	Description
ModalRefinement
MTSs	Operations on ModalTransitionSystems.

Exception Summary

Exception	Description
IllegalConjunctionException