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

Packages that use ConstraintChecker

Package	Description
de.rwth.swc.coffee4j.engine.characterization
de.rwth.swc.coffee4j.engine.constraint
de.rwth.swc.coffee4j.engine.generator.ipog
de.rwth.swc.coffee4j.engine.util

Uses of ConstraintChecker in de.rwth.swc.coffee4j.engine.characterization

Methods in de.rwth.swc.coffee4j.engine.characterization that return ConstraintChecker

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

Constructors in de.rwth.swc.coffee4j.engine.characterization with parameters of type ConstraintChecker

Constructor	Description
FaultCharacterizationConfiguration(InputParameterModel model, ConstraintChecker checker, Reporter reporter)	Creates a new configuration out of an IPM, reporter and constraints checker.

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

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

Modifier and Type	Class	Description
class	ModelBasedConstraintChecker
class	NoConstraintChecker

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

Modifier and Type	Method	Description
ConstraintChecker	ConstraintCheckerFactory.createAdaptiveConstraintsCheckerWithNegation(TupleList toBeNegated)
ConstraintChecker	ConstraintCheckerFactory.createHardConstraintsChecker()
ConstraintChecker	ConstraintCheckerFactory.createHardConstraintsCheckerWithNegation(TupleList toBeNegated)
ConstraintChecker	ConstraintCheckerFactory.createNoConstraintsChecker()
ConstraintChecker	ConstraintCheckerFactory.createSoftConstraintsChecker(int threshold)
ConstraintChecker	ConstraintCheckerFactory.createSoftConstraintsCheckerWithNegation(TupleList toBeNegated, int threshold)

Uses of ConstraintChecker in de.rwth.swc.coffee4j.engine.generator.ipog

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

Modifier and Type	Method	Description
IpogConfiguration.Builder	IpogConfiguration.Builder.checker(ConstraintChecker checker)

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

Methods in de.rwth.swc.coffee4j.engine.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.