I
- the input typeO
- the output typepublic class LTSminMonitorIO<I,O> extends AbstractLTSminMonitorMealy<I,O> implements LTSminIO<I,O,MealyMachine<?,I,?,O>>
AbstractLTSmin.BuilderDefaults
ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>
REQUIRED_VERSION
Constructor and Description |
---|
LTSminMonitorIO(boolean keepFiles,
Function<String,I> string2Input,
Function<String,O> string2Output,
Collection<? super O> skipOutputs) |
findCounterExample, getSkipOutputs, getString2Output, setSkipOutputs, verifyFormula
getExtraCommandLineOptions, getMinimumRequiredVersion
findCounterExampleFSM, getString2Input, isKeepFiles
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
automaton2ETF, getString2Output
getSkipOutputs, setSkipOutputs
getString2Input, isKeepFiles
findCounterExample
Copyright © 2020. All rights reserved.