Uses of Class
de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.AetgSatConfiguration

Packages that use AetgSatConfiguration

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

Uses of AetgSatConfiguration in de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg

Methods in de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg that return AetgSatConfiguration

Modifier and Type	Method	Description
AetgSatConfiguration	AetgSatConfiguration.Builder.build()	Constructs the configuration.

Constructors in de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg with parameters of type AetgSatConfiguration

Constructor	Description
AetgSatAlgorithm(AetgSatConfiguration configuration)	Constructor.

Uses of AetgSatConfiguration in de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.advanced

Constructors in de.rwth.swc.coffee4j.algorithmic.sequential.generator.aetg.advanced with parameters of type AetgSatConfiguration

Constructor	Description
AdvancedAetgSatAlgorithm(AetgSatConfiguration configuration)	Constructor.