I
- the input typeO
- the output typepublic class LTSminLTLIO<I,O> extends AbstractLTSminLTLMealy<I,O> implements LTSminIO<I,O,Lasso.MealyLasso<I,O>>
AbstractLTSminLTL.BuilderDefaults
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
ModelCheckerLasso.DFAModelCheckerLasso<I,P>, ModelCheckerLasso.MealyModelCheckerLasso<I,O,P>
REQUIRED_VERSION
Constructor and Description |
---|
LTSminLTLIO(boolean keepFiles,
Function<String,I> string2Input,
Function<String,O> string2Output,
int minimumUnfolds,
double multiplier,
Collection<? super O> skipOutputs) |
findCounterExample, getSkipOutputs, getString2Output, setSkipOutputs
getExtraCommandLineOptions, getMinimumRequiredVersion, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
findCounterExampleFSM, getString2Input, isKeepFiles
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
automaton2ETF, getString2Output
getSkipOutputs, setSkipOutputs
getString2Input, isKeepFiles
findCounterExample
computeUnfolds, getMinimumUnfolds, getMultiplier, setMinimumUnfolds, setMultiplier
Copyright © 2019. All rights reserved.