Uses of Interface
de.rwth.swc.coffee4j.algorithmic.constraint.ConstraintChecker
-
-
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 ofForbiddenTuplesChecker
implementing the general approach introduced in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et.class
ModelBasedConstraintChecker
class
NoConstraintChecker
-
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 aConstraintChecker
which describes what value combinations of the parameters returned byTestModel.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 theCompleteTestModel
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 theCompleteTestModel
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.
-