static AetgSatConfiguration.Builder |
AetgSatConfiguration.aetgSatConfiguration() |
Construct a builder for a new configuration.
|
AetgSatConfiguration.Builder |
AetgSatConfiguration.Builder.model(TestModel model) |
Sets the test model.
|
AetgSatConfiguration.Builder |
AetgSatConfiguration.Builder.reporter(Reporter reporter) |
Sets the execution reporter.
|
AetgSatConfiguration.Builder |
AetgSatConfiguration.Builder.withNumberOfCandidates(int numberOfCandidates) |
Sets the number of candidates that should be considered for each iteration.
|
AetgSatConfiguration.Builder |
AetgSatConfiguration.Builder.withNumberOfTries(int numberOfTries) |
Sets tje number of tries that should be done before declaring a model not solvable.
|