AetgSat (de.rwth.swc.coffee4j:coffee4j-aggregate 1.0.8 API)

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

All Implemented Interfaces:

TestInputGroupGenerator
```
public class AetgSat
extends Object
implements TestInputGroupGenerator
```
Generator for one test group containing the test inputs generated with the AetgSatAlgorithm algorithm with the strength given by the CompleteTestModel.

Constructor Summary

Constructors
Constructor Description

AetgSat()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Set<Supplier<TestInputGroup>>`	`generate(CompleteTestModel model, Reporter reporter)`	Generates a arbitrary number of `TestInputGroup` instances.

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

- Constructor Detail
  - AetgSat
```
public AetgSat()
```
- Method Detail
  - generate
```
public Set<Supplier<TestInputGroup>> generate(CompleteTestModel model,
                                              Reporter reporter)
```
    Description copied from interface: TestInputGroupGenerator
    
    Generates a arbitrary number of TestInputGroup instances. Each group should be individual in its FaultCharacterizationConfiguration. This means that test inputs with the same input parameter testModel and constraints checker should also be in the same test group as this makes the process of fault characterization easier. If further parameters than the CompleteTestModel need to be used, provide constructor with which they can be set.
    
    Specified by:
    
    generate in interface TestInputGroupGenerator
    
    Parameters:
    
    model - the complete testModel with which the test input groups should be constructed. Must not be null
    
    reporter - to report information from inside the generation
    
    Returns:
    
    a supplier of a test input group. It may be the case that the group is only generated when calling Supplier.get(). This can be used to make the generation in a multithreaded environment without having the generator manage the parallelism.