Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelcheckers.ltsmin.monitor |
Modifier and Type | Class and Description |
---|---|
class |
AbstractLTSminLTL<I,A,L extends Lasso<I,?>>
An LTSmin model checker for full LTL.
|
class |
AbstractLTSminLTLMealy<I,O>
An LTL model checker using LTSmin for Mealy machines.
|
class |
LTSminLTLAlternating<I,O>
An LTL model checker using LTSmin for Mealy machines using alternating edge semantics.
|
class |
LTSminLTLDFA<I>
An LTL model checker using LTSmin for DFAs.
|
class |
LTSminLTLIO<I,O>
An LTL model checker using LTSmin for Mealy machines using synchronous edge semantics.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractLTSminMonitor<I,A,R>
An LTSmin model checker for monitors.
|
class |
AbstractLTSminMonitorMealy<I,O>
An monitor model checker using LTSmin for Mealy machines.
|
class |
LTSminMonitorAlternating<I,O>
A monitor model checker using LTSmin for Mealy machines using alternating edge semantics.
|
class |
LTSminMonitorDFA<I>
A monitor model checker using LTSmin for DFAs.
|
class |
LTSminMonitorIO<I,O>
A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics.
|
Copyright © 2020. All rights reserved.