Uses of Interface
de.rwth.swc.coffee4j.algorithmic.constraint.ConstraintCheckerFactory
-
-
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 ExistentialMinimalForbiddenTuplesChecker
.class
HardConstraintCheckerFactory
class
MinimalForbiddenTuplesCheckerFactory
Factory for creating aMinimalForbiddenTuplesChecker
.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 theConstraintCheckerFactory
Class<? extends ConstraintCheckerFactory>
constraintCheckerFactory()
Gets the class of theConstraintCheckerFactory
-