net.automatalib.modelcheckers.ltsmin

Interface LTSmin<I,A,R>

Type Parameters:

I - the input type.

A - the automaton type.

R - the type of a counterexample

All Superinterfaces:

ModelChecker<I,A,String,R>

All Known Subinterfaces:

LTSminAlternating<I,O,R>, LTSminDFA<I,R>, LTSminIO<I,O,R>, LTSminMealy<I,O,R>

All Known Implementing Classes:

AbstractLTSmin, AbstractLTSminLTL, AbstractLTSminLTLMealy, AbstractLTSminMonitor, AbstractLTSminMonitorMealy, LTSminLTLAlternating, LTSminLTLDFA, LTSminLTLIO, LTSminMonitorAlternating, LTSminMonitorDFA, LTSminMonitorIO

public interface LTSmin<I,A,R>
extends ModelChecker<I,A,String,R>

An LTSmin model checker.

Author:

Jeroen Meijer

Nested Class Summary

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

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

Method Summary

Modifier and Type	Method and Description
void	automaton2ETF(A automaton, Collection<? extends I> inputs, File etf) Writes the given automaton to the given etf file.
Function<String,I>	getString2Input() Returns the function that transforms edges in FSM files to actual input.
boolean	isKeepFiles() Returns whether intermediate files should be kept, e.g. etfs, gcfs, etc.

Methods inherited from interface net.automatalib.modelchecking.ModelChecker

findCounterExample

Method Detail

automaton2ETF

void automaton2ETF(A automaton,
                   Collection<? extends I> inputs,
                   File etf)
            throws IOException

Writes the given automaton to the given etf file.

Parameters:

automaton - the automaton to write.

inputs - the alphabet.

etf - the file to write to.

Throws:

IOException - when the given automaton can not be written to etf.

isKeepFiles

boolean isKeepFiles()

Returns whether intermediate files should be kept, e.g. etfs, gcfs, etc.

Returns:

the boolean

getString2Input

Function<String,I> getString2Input()

Returns the function that transforms edges in FSM files to actual input.

Returns:

the Function.