Module net.automatalib.modelchecker.ltsmin

Package net.automatalib.modelchecker.ltsmin.monitor

Class Summary

Class	Description
AbstractLTSminMonitor<I,A,R>	An LTSmin model checker for monitors.
AbstractLTSminMonitorMealy<I,O>	A monitor model checker using LTSmin for Mealy machines.
LTSminMonitorAlternating<I,O>	A monitor model checker using LTSmin for Mealy machines using alternating edge semantics.
LTSminMonitorAlternatingBuilder<I,O>	A builder for constructing LTSminMonitorAlternating instances.
LTSminMonitorDFA<I>	A monitor model checker using LTSmin for DFAs.
LTSminMonitorDFABuilder<I>	A builder for constructing LTSminMonitorDFA instances.
LTSminMonitorIO<I,O>	A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics.
LTSminMonitorIOBuilder<I,O>	A builder for constructing LTSminMonitorIO instances.