Uses of Interface
de.rwth.swc.coffee4j.algorithmic.constraint.ConstraintChecker

Packages that use ConstraintChecker

Package	Description
de.rwth.swc.coffee4j.algorithmic.classification
de.rwth.swc.coffee4j.algorithmic.constraint
de.rwth.swc.coffee4j.algorithmic.interleaving
de.rwth.swc.coffee4j.algorithmic.interleaving.feedback
de.rwth.swc.coffee4j.algorithmic.interleaving.generator
de.rwth.swc.coffee4j.algorithmic.interleaving.identification
de.rwth.swc.coffee4j.algorithmic.interleaving.manager
de.rwth.swc.coffee4j.algorithmic.interleaving.util
de.rwth.swc.coffee4j.algorithmic.model
de.rwth.swc.coffee4j.algorithmic.sequential.characterization
de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog
de.rwth.swc.coffee4j.algorithmic.util

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.classification

Methods in de.rwth.swc.coffee4j.algorithmic.classification that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	ClassificationConfiguration.getConstraintChecker()

Methods in de.rwth.swc.coffee4j.algorithmic.classification with parameters of type ConstraintChecker

Modifier and Type	Method	Description
ClassificationConfiguration.Builder	ClassificationConfiguration.Builder.constraintChecker(ConstraintChecker constraintChecker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.constraint

Classes in de.rwth.swc.coffee4j.algorithmic.constraint that implement ConstraintChecker

Modifier and Type	Class	Description
class	DynamicHardConstraintChecker
class	ForbiddenTuplesChecker	Abstract class to provide general functionality for both approaches depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et.
class	MinimalForbiddenTuplesChecker	Subclass of ForbiddenTuplesChecker implementing the general approach introduced in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et.
class	ModelBasedConstraintChecker
class	NoConstraintChecker

Methods in de.rwth.swc.coffee4j.algorithmic.constraint that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	ConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	DiagnosticConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	ExistentialHardConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	ExistentialMinimalForbiddenTuplesCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	HardConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	MinimalForbiddenTuplesCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	NoConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	SoftConstraintCheckerFactory.createConstraintChecker(CompleteTestModel testModel)
ConstraintChecker	ConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	DiagnosticConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	ExistentialHardConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	ExistentialMinimalForbiddenTuplesCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	HardConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	MinimalForbiddenTuplesCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	NoConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)
ConstraintChecker	SoftConstraintCheckerFactory.createConstraintCheckerWithNegation(CompleteTestModel testModel, TupleList toBeNegated)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving

Constructors in de.rwth.swc.coffee4j.algorithmic.interleaving with parameters of type ConstraintChecker

Constructor	Description
CoverageMap(int[] parameterSizes, int strength, ConstraintChecker checker)
CoverageMap(CoverageMap coverageMap, ConstraintChecker checker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	FeedbackCheckingConfiguration.getConstraintChecker()

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback with parameters of type ConstraintChecker

Modifier and Type	Method	Description
FeedbackCheckingConfiguration.Builder	FeedbackCheckingConfiguration.Builder.constraintChecker(ConstraintChecker constraintChecker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving.generator

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.generator that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	TestInputGenerationConfiguration.getConstraintChecker()

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.generator with parameters of type ConstraintChecker

Modifier and Type	Method	Description
TestInputGenerationConfiguration.Builder	TestInputGenerationConfiguration.Builder.constraintChecker(ConstraintChecker constraintChecker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving.identification

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.identification that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	IdentificationConfiguration.getConstraintChecker()

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.identification with parameters of type ConstraintChecker

Modifier and Type	Method	Description
IdentificationConfiguration.IdentificationConfigurationBuilder	IdentificationConfiguration.IdentificationConfigurationBuilder.constraintChecker(ConstraintChecker constraintChecker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving.manager

Fields in de.rwth.swc.coffee4j.algorithmic.interleaving.manager declared as ConstraintChecker

Modifier and Type	Field	Description
protected ConstraintChecker	AbstractInterleavingManager.checker
protected ConstraintChecker	AbstractInterleavingManager.checker
protected ConstraintChecker	AbstractInterleavingManager.checker

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.interleaving.util

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.util with parameters of type ConstraintChecker

Modifier and Type	Method	Description
Optional<ParameterValuePair>	OptimalValue.forParameter(int parameter, int numberOfValues, it.unimi.dsi.fastutil.ints.IntSet forbiddenValues, int[] testInput, CoverageMap coverageMap, ConstraintChecker checker)
static Optional<ParameterValuePair>	OptimalValue.mostDissimilarForParameter(int parameter, int numberOfValues, int[] testInput, List<int[]> executedTestInputs, ConstraintChecker checker)
static Optional<ParameterValuePair>	OptimalValue.valueForParameter(int parameter, int numberOfValues, int[] testInput, Set<it.unimi.dsi.fastutil.ints.IntList> executedTestInputs, ConstraintChecker checker)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.model

Methods in de.rwth.swc.coffee4j.algorithmic.model that return ConstraintChecker

Modifier and Type	Method	Description
ConstraintChecker	CompleteTestModel.getConstraintChecker()
ConstraintChecker	GroupSpecificTestModel.getConstraintChecker()
ConstraintChecker	TestModel.getConstraintChecker()	Gets a ConstraintChecker which describes what value combinations of the parameters returned by TestModel.getParameterSizes() are valid.

Methods in de.rwth.swc.coffee4j.algorithmic.model with parameters of type ConstraintChecker

Modifier and Type	Method	Description
static GroupSpecificTestModel	GroupSpecificTestModel.negative(int errorConstraintId, CompleteTestModel delegate, ConstraintChecker constraintChecker)	Creates a new view on the CompleteTestModel which only considers the configuration for negative combinatorial testing for the given error constraint.
static GroupSpecificTestModel	GroupSpecificTestModel.positive(CompleteTestModel delegate, ConstraintChecker constraintChecker)	Creates a new view on the CompleteTestModel which only considers the configuration for positive combinatorial testing.

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.sequential.characterization

Methods in de.rwth.swc.coffee4j.algorithmic.sequential.characterization that return ConstraintChecker

Modifier and Type	Method	Description
protected ConstraintChecker	SuspiciousCombinationAlgorithm.getChecker()

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog

Methods in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog with parameters of type ConstraintChecker

Modifier and Type	Method	Description
Optional<int[]>	CombinationPartitioner.extendSuitableCombination(int[] combination, ConstraintChecker constraintChecker)	Tries to find a matching combination to which the given combination can be added.

Constructors in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog with parameters of type ConstraintChecker

Constructor	Description
EfficientCoverageMap(Collection<it.unimi.dsi.fastutil.ints.IntSet> parameterCombinations, int fixedParameter, it.unimi.dsi.fastutil.ints.Int2IntMap parameters, ConstraintChecker constraintChecker)	Initializes a new coverage map with the given parameter combinations and the fixed parameter.

Uses of ConstraintChecker in de.rwth.swc.coffee4j.algorithmic.util

Methods in de.rwth.swc.coffee4j.algorithmic.util with parameters of type ConstraintChecker

Modifier and Type	Method	Description
static boolean	CombinationUtil.canBeAdded(int[] combination, int[] toBeAdded, ConstraintChecker constraintChecker)	Checks whether the combinations to be added can be added to the given combinations.