java.lang.Object
- de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.AetgSatConfiguration

```
public class AetgSatConfiguration
extends Object
```
A class combining all information needed to construct a new instance of the AetgSatAlgorithm algorithm. This class is used instead of a constructor with all parameters to reduce API incompatibility issues when addition more arguments and for a general nicer way of constructing the algorithm since constructor with many parameters are not easy to read in code.

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static AetgSatConfiguration.Builder`	`aetgSatConfiguration()`	Construct a builder for a new configuration.
`int`	`getMaximumNumberOfTries()`
`TestModel`	`getModel()`
`int`	`getNumberOfCandidates()`
`Reporter`	`getReporter()`

Class AetgSatConfiguration