Class Hierarchy
- java.lang.Object
- net.automatalib.util.ts.modal.ModalRefinement
- net.automatalib.util.ts.modal.MTSs
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- java.lang.IllegalArgumentException
- net.automatalib.util.ts.modal.IllegalConjunctionException
- java.lang.IllegalArgumentException
- java.lang.RuntimeException
- java.lang.Exception