Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelchecking.lasso |
Modifier and Type | Method and Description |
---|---|
@Nullable Lasso.DFALasso<I> |
LTSminLTLDFA.findCounterExample(DFA<?,I> automaton,
Collection<? extends I> inputs,
String property)
Converts the FSM file to a
Lasso.DFALasso . |
Modifier and Type | Class and Description |
---|---|
class |
DFALassoImpl<I>
A DFALasso is a lasso for
DFA s. |
Copyright © 2020. All rights reserved.