Package net.automatalib.modelchecker.ltsmin.monitor

Class LTSminMonitorIO<I,O>

java.lang.Object

net.automatalib.modelchecker.ltsmin.AbstractLTSmin<I,A,R>

net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor<I,MealyMachine<?,I,?,O>,MealyMachine<?,I,?,O>>

net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy<I,O>

net.automatalib.modelchecker.ltsmin.monitor.LTSminMonitorIO<I,O>

Type Parameters:

I - the input type

O - the output type

All Implemented Interfaces:

LTSmin<I,MealyMachine<?,I,?,O>,MealyMachine<?,I,?,O>>, LTSminIO<I,O,MealyMachine<?,I,?,O>>, LTSminMealy<I,O,MealyMachine<?,I,?,O>>, ModelChecker<I,MealyMachine<?,I,?,O>,String,MealyMachine<?,I,?,O>>, ModelChecker.MealyModelChecker<I,O,String,MealyMachine<?,I,?,O>>

public class LTSminMonitorIO<I,O>
extends AbstractLTSminMonitorMealy<I,O>
implements LTSminIO<I,O,MealyMachine<?,I,?,O>>

A monitor model checker using LTSmin for Mealy machines using synchronous edge semantics.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.modelchecking.ModelChecker

ModelChecker.DFAModelChecker<I,P,R>, ModelChecker.MealyModelChecker<I,O,P,R>

Field Summary

Fields inherited from class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor

REQUIRED_VERSION

Constructor Summary

Constructors

Constructor	Description
LTSminMonitorIO(boolean keepFiles, Function<String,I> string2Input, Function<String,O> string2Output, Collection<? super O> skipOutputs)

Method Summary

Methods inherited from class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitorMealy

findCounterExample, getSkipOutputs, getString2Output, setSkipOutputs, verifyFormula

Methods inherited from class net.automatalib.modelchecker.ltsmin.monitor.AbstractLTSminMonitor

getExtraCommandLineOptions, getMinimumRequiredVersion

Methods inherited from class net.automatalib.modelchecker.ltsmin.AbstractLTSmin

findCounterExampleFSM, getString2Input, isKeepFiles

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.modelchecker.ltsmin.LTSmin

getString2Input, isKeepFiles

Methods inherited from interface net.automatalib.modelchecker.ltsmin.LTSminIO

fsm2Mealy, mealy2ETF

Methods inherited from interface net.automatalib.modelchecker.ltsmin.LTSminMealy

automaton2ETF, getString2Output

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample

Methods inherited from interface net.automatalib.modelchecking.ModelChecker.MealyModelChecker

getSkipOutputs, setSkipOutputs

Constructor Detail

LTSminMonitorIO

public LTSminMonitorIO(boolean keepFiles,
                       Function<String,I> string2Input,
                       Function<String,O> string2Output,
                       Collection<? super O> skipOutputs)