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

Packages that use ConstraintCheckerFactory

Package	Description
de.rwth.swc.coffee4j.algorithmic.constraint
de.rwth.swc.coffee4j.algorithmic.interleaving.manager
de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog
de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipogneg
de.rwth.swc.coffee4j.engine.configuration.execution
de.rwth.swc.coffee4j.junit.engine.annotation.configuration.sequential.generation.configuration

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

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

Modifier and Type	Class	Description
class	DiagnosticConstraintCheckerFactory
class	ExistentialHardConstraintCheckerFactory
class	ExistentialMinimalForbiddenTuplesCheckerFactory	Factory for creating an Existential MinimalForbiddenTuplesChecker.
class	HardConstraintCheckerFactory
class	MinimalForbiddenTuplesCheckerFactory	Factory for creating a MinimalForbiddenTuplesChecker.
class	NoConstraintCheckerFactory
class	SoftConstraintCheckerFactory

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

Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.manager that return ConstraintCheckerFactory

Modifier and Type	Method	Description
ConstraintCheckerFactory	InterleavingCombinatorialTestConfiguration.getConstraintCheckerFactory()

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

Constructor

Description

InterleavingCombinatorialTestConfiguration(TestInputGenerationStrategyFactory testInputGenerationStrategyFactory, IdentificationStrategyFactory identificationStrategyFactory, FeedbackCheckingStrategyFactory feedbackCheckingStrategyFactory, ClassificationStrategyFactory classificationStrategyFactory, ConstraintCheckerFactory constraintCheckerFactory, InterleavingGenerationReporter generationReporter)

Creates a new configuration.

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

Methods in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog that return ConstraintCheckerFactory

Modifier and Type	Method	Description
ConstraintCheckerFactory	IpogConfiguration.getConstraintCheckerFactory()

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

Constructor	Description
IpogConfiguration(ConstraintCheckerFactory constraintCheckerFactory)

Uses of ConstraintCheckerFactory in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipogneg

Methods in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipogneg that return ConstraintCheckerFactory

Modifier and Type	Method	Description
ConstraintCheckerFactory	IpogNegConfiguration.getConstraintCheckerFactory()

Constructors in de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipogneg with parameters of type ConstraintCheckerFactory

Constructor	Description
IpogNegConfiguration(ConstraintCheckerFactory constraintCheckerFactory, int strengthA)

Uses of ConstraintCheckerFactory in de.rwth.swc.coffee4j.engine.configuration.execution

Methods in de.rwth.swc.coffee4j.engine.configuration.execution that return ConstraintCheckerFactory

Modifier and Type	Method	Description
ConstraintCheckerFactory	InterleavingExecutionConfiguration.getConstraintCheckerFactory()

Methods in de.rwth.swc.coffee4j.engine.configuration.execution with parameters of type ConstraintCheckerFactory

Modifier and Type	Method	Description
InterleavingExecutionConfiguration.Builder	InterleavingExecutionConfiguration.Builder.constraintCheckingFactory(ConstraintCheckerFactory constraintCheckerFactory)

Uses of ConstraintCheckerFactory in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.sequential.generation.configuration

Methods in de.rwth.swc.coffee4j.junit.engine.annotation.configuration.sequential.generation.configuration that return types with arguments of type ConstraintCheckerFactory

Modifier and Type	Method	Description
Class<? extends ConstraintCheckerFactory>	constraintCheckerFactory()	Gets the class of the ConstraintCheckerFactory
Class<? extends ConstraintCheckerFactory>	constraintCheckerFactory()	Gets the class of the ConstraintCheckerFactory