Package de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg

Class AetgSatConfiguration.Builder

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.AetgSatConfiguration.Builder

Enclosing class:

AetgSatConfiguration

public static class AetgSatConfiguration.Builder
extends Object

Builder for AetgSatConfiguration.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
AetgSatConfiguration	build()	Constructs the configuration.
AetgSatConfiguration.Builder	model(TestModel model)	Sets the test model.
AetgSatConfiguration.Builder	reporter(Reporter reporter)	Sets the execution reporter.
AetgSatConfiguration.Builder	withNumberOfCandidates(int numberOfCandidates)	Sets the number of candidates that should be considered for each iteration.
AetgSatConfiguration.Builder	withNumberOfTries(int numberOfTries)	Sets tje number of tries that should be done before declaring a model not solvable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Builder

public Builder()

Method Detail

reporter

public AetgSatConfiguration.Builder reporter(Reporter reporter)

Sets the execution reporter.

Parameters:

reporter - the reporter. This may not be null.

Returns:

the builder for method chaining

model

public AetgSatConfiguration.Builder model(TestModel model)

Sets the test model.

Parameters:

model - the model. This may not be null.

Returns:

the builder for method chaining

withNumberOfCandidates

public AetgSatConfiguration.Builder withNumberOfCandidates(int numberOfCandidates)

Sets the number of candidates that should be considered for each iteration.

The more candidates are generated, the longer the runtime of the algorithm will be, but it will also increase the quality of the covering array.

Parameters:

numberOfCandidates - the number of candidates. Must be positive.

Returns:

the builder for method chaining

withNumberOfTries

public AetgSatConfiguration.Builder withNumberOfTries(int numberOfTries)

Sets tje number of tries that should be done before declaring a model not solvable.

Parameters:

numberOfTries - the number of tries. Must be positive.

Returns:

the builder for method chaining

build

public AetgSatConfiguration build()

Constructs the configuration.

Only the model is required to be set.

Returns:

the configuration