java.lang.Object
- net.automatalib.modelchecker.ltsmin.ltl.LTSminLTLAlternatingBuilder<I,O>

Type Parameters:

I - the input type

O - the output type
```
public final class LTSminLTLAlternatingBuilder<I,O>
extends Object
```
A builder for constructing LTSminLTLAlternating instances.

Constructor Summary

Constructors
Constructor Description

LTSminLTLAlternatingBuilder()
Creates a new builder (and may set default values for some parameters).

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`LTSminLTLAlternating<I,O>`	`create()`	Creates a new `LTSminLTLAlternating` instance with the configured parameters.
`boolean`	`getKeepFiles()`	Returns the current value for the parameter `keepFiles`.
`int`	`getMinimumUnfolds()`	Returns the current value for the parameter `minimumUnfolds`.
`double`	`getMultiplier()`	Returns the current value for the parameter `multiplier`.
`Collection<? super O>`	`getSkipOutputs()`	Returns the current value for the parameter `skipOutputs`.
`Function<String,I>`	`getString2Input()`	Returns the current value for the parameter `string2Input`.
`Function<String,O>`	`getString2Output()`	Returns the current value for the parameter `string2Output`.
`void`	`setKeepFiles(boolean keepFiles)`	Sets the new value for the parameter `keepFiles`.
`void`	`setMinimumUnfolds(int minimumUnfolds)`	Sets the new value for the parameter `minimumUnfolds`.
`void`	`setMultiplier(double multiplier)`	Sets the new value for the parameter `multiplier`.
`void`	`setSkipOutputs(Collection<? super O> skipOutputs)`	Sets the new value for the parameter `skipOutputs`.
`void`	`setString2Input(Function<String,I> string2Input)`	Sets the new value for the parameter `string2Input`.
`void`	`setString2Output(Function<String,O> string2Output)`	Sets the new value for the parameter `string2Output`.
`LTSminLTLAlternatingBuilder<I,O>`	`withKeepFiles(boolean keepFiles)`	Sets the new value for the parameter `keepFiles` and returns `this` builder instance.
`LTSminLTLAlternatingBuilder<I,O>`	`withMinimumUnfolds(int minimumUnfolds)`	Sets the new value for the parameter `minimumUnfolds` and returns `this` builder instance.
`LTSminLTLAlternatingBuilder<I,O>`	`withMultiplier(double multiplier)`	Sets the new value for the parameter `multiplier` and returns `this` builder instance.
`LTSminLTLAlternatingBuilder<I,O>`	`withSkipOutputs(Collection<? super O> skipOutputs)`	Sets the new value for the parameter `skipOutputs` and returns `this` builder instance.
`LTSminLTLAlternatingBuilder<I,O>`	`withString2Input(Function<String,I> string2Input)`	Sets the new value for the parameter `string2Input` and returns `this` builder instance.
`LTSminLTLAlternatingBuilder<I,O>`	`withString2Output(Function<String,O> string2Output)`	Sets the new value for the parameter `string2Output` and returns `this` builder instance.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - LTSminLTLAlternatingBuilder
```
public LTSminLTLAlternatingBuilder()
```
    Creates a new builder (and may set default values for some parameters).
- Method Detail
  - getKeepFiles
```
public boolean getKeepFiles()
```
    Returns the current value for the parameter keepFiles.
    
    Returns:
    
    the current value for the parameter keepFiles
  - setKeepFiles
```
public void setKeepFiles(boolean keepFiles)
```
    Sets the new value for the parameter keepFiles.
    
    Parameters:
    
    keepFiles - the new value for the parameter keepFiles
  - withKeepFiles
```
public LTSminLTLAlternatingBuilder<I,O> withKeepFiles(boolean keepFiles)
```
    Sets the new value for the parameter keepFiles and returns this builder instance.
    
    Parameters:
    
    keepFiles - the new value for the parameter keepFiles
    
    Returns:
    
    the current builder instance
  - getString2Input
```
public Function<String,I> getString2Input()
```
    Returns the current value for the parameter string2Input.
    
    Returns:
    
    the current value for the parameter string2Input
  - setString2Input
```
public void setString2Input(Function<String,I> string2Input)
```
    Sets the new value for the parameter string2Input.
    
    Parameters:
    
    string2Input - the new value for the parameter string2Input
  - withString2Input
```
public LTSminLTLAlternatingBuilder<I,O> withString2Input(Function<String,I> string2Input)
```
    Sets the new value for the parameter string2Input and returns this builder instance.
    
    Parameters:
    
    string2Input - the new value for the parameter string2Input
    
    Returns:
    
    the current builder instance
  - getString2Output
```
public Function<String,O> getString2Output()
```
    Returns the current value for the parameter string2Output.
    
    Returns:
    
    the current value for the parameter string2Output
  - setString2Output
```
public void setString2Output(Function<String,O> string2Output)
```
    Sets the new value for the parameter string2Output.
    
    Parameters:
    
    string2Output - the new value for the parameter string2Output
  - withString2Output
```
public LTSminLTLAlternatingBuilder<I,O> withString2Output(Function<String,O> string2Output)
```
    Sets the new value for the parameter string2Output and returns this builder instance.
    
    Parameters:
    
    string2Output - the new value for the parameter string2Output
    
    Returns:
    
    the current builder instance
  - getMinimumUnfolds
```
public int getMinimumUnfolds()
```
    Returns the current value for the parameter minimumUnfolds.
    
    Returns:
    
    the current value for the parameter minimumUnfolds
  - setMinimumUnfolds
```
public void setMinimumUnfolds(int minimumUnfolds)
```
    Sets the new value for the parameter minimumUnfolds.
    
    Parameters:
    
    minimumUnfolds - the new value for the parameter minimumUnfolds
  - withMinimumUnfolds
```
public LTSminLTLAlternatingBuilder<I,O> withMinimumUnfolds(int minimumUnfolds)
```
    Sets the new value for the parameter minimumUnfolds and returns this builder instance.
    
    Parameters:
    
    minimumUnfolds - the new value for the parameter minimumUnfolds
    
    Returns:
    
    the current builder instance
  - getMultiplier
```
public double getMultiplier()
```
    Returns the current value for the parameter multiplier.
    
    Returns:
    
    the current value for the parameter multiplier
  - setMultiplier
```
public void setMultiplier(double multiplier)
```
    Sets the new value for the parameter multiplier.
    
    Parameters:
    
    multiplier - the new value for the parameter multiplier
  - withMultiplier
```
public LTSminLTLAlternatingBuilder<I,O> withMultiplier(double multiplier)
```
    Sets the new value for the parameter multiplier and returns this builder instance.
    
    Parameters:
    
    multiplier - the new value for the parameter multiplier
    
    Returns:
    
    the current builder instance
  - getSkipOutputs
```
public Collection<? super O> getSkipOutputs()
```
    Returns the current value for the parameter skipOutputs.
    
    Returns:
    
    the current value for the parameter skipOutputs
  - setSkipOutputs
```
public void setSkipOutputs(Collection<? super O> skipOutputs)
```
    Sets the new value for the parameter skipOutputs.
    
    Parameters:
    
    skipOutputs - the new value for the parameter skipOutputs
  - withSkipOutputs
```
public LTSminLTLAlternatingBuilder<I,O> withSkipOutputs(Collection<? super O> skipOutputs)
```
    Sets the new value for the parameter skipOutputs and returns this builder instance.
    
    Parameters:
    
    skipOutputs - the new value for the parameter skipOutputs
    
    Returns:
    
    the current builder instance
  - create
```
public LTSminLTLAlternating<I,O> create()
```
    Creates a new LTSminLTLAlternating instance with the configured parameters.
    
    Returns:
    
    the created instance

Class LTSminLTLAlternatingBuilder<I,​O>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

LTSminLTLAlternatingBuilder

Method Detail

getKeepFiles

setKeepFiles

withKeepFiles

getString2Input

setString2Input

withString2Input

getString2Output

setString2Output

withString2Output

getMinimumUnfolds

setMinimumUnfolds

withMinimumUnfolds

getMultiplier

setMultiplier

withMultiplier

getSkipOutputs

setSkipOutputs

withSkipOutputs

create

Class LTSminLTLAlternatingBuilder<I,O>