LTSmin (AutomataLib 0.11.0 API)

Type Parameters:

I - the input type.

A - the automaton type.

R - the type of 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.

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

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	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.
    
    ModelCheckingException - when the given automaton cannot be transformed into a valid LTS.
  - 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.