Package | Description |
---|---|
net.automatalib.modelcheckers.ltsmin.ltl | |
net.automatalib.modelchecking.lasso |
Modifier and Type | Method and Description |
---|---|
Lasso.MealyLasso<I,O> |
AbstractLTSminLTLMealy.findCounterExample(MealyMachine<?,I,?,O> automaton,
Collection<? extends I> inputs,
String property) |
Modifier and Type | Class and Description |
---|---|
class |
MealyLassoImpl<I,O>
A MealyLasso is a lasso for
MealyMachine s. |
Copyright © 2019. All rights reserved.