| Package | Description |
|---|---|
| de.rwth.swc.coffee4j.engine | |
| de.rwth.swc.coffee4j.engine.constraint |
| Modifier and Type | Method and Description |
|---|---|
List<TupleList> |
CombinatorialTestModel.getErrorTupleLists() |
List<TupleList> |
CombinatorialTestModel.getForbiddenTupleLists() |
| Constructor and Description |
|---|
CombinatorialTestModel(int strength,
int[] parameterSizes,
Collection<TupleList> forbiddenTupleLists)
Defines a new model with just forbidden constraints but no error constraints.
|
CombinatorialTestModel(int strength,
int[] parameterSizes,
Collection<TupleList> forbiddenTupleLists,
Collection<TupleList> errorTupleLists) |
CombinatorialTestModel(int strength,
int[] parameterSizes,
Collection<TupleList> forbiddenTupleLists,
Collection<TupleList> errorTupleLists) |
| Modifier and Type | Method and Description |
|---|---|
ConstraintChecker |
ConstraintCheckerFactory.createAdaptiveConstraintsCheckerWithNegation(TupleList toBeNegated) |
ConflictingErrorConstraintSearcher |
ConstraintCheckerFactory.createConflictingErrorConstraintsSearcher(TupleList toBeNegated) |
ConstraintChecker |
ConstraintCheckerFactory.createHardConstraintsCheckerWithNegation(TupleList toBeNegated) |
ConstraintChecker |
ConstraintCheckerFactory.createSoftConstraintsCheckerWithNegation(TupleList toBeNegated,
int threshold) |
Copyright © 2019. All rights reserved.