Package de.rwth.swc.coffee4j.algorithmic.constraint
-
Interface Summary Interface Description ConstraintChecker ConstraintCheckerFactory -
Class Summary Class Description Constraint ConstraintConverter ConstraintList DiagnosticConstraintCheckerFactory DynamicHardConstraintChecker ExistentialHardConstraintCheckerFactory ExistentialMinimalForbiddenTuplesCheckerFactory Factory for creating an ExistentialMinimalForbiddenTuplesChecker
.ForbiddenTuplesChecker Abstract class to provide general functionality for both approaches depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et.HardConstraintCheckerFactory MinimalForbiddenTuplesChecker Subclass ofForbiddenTuplesChecker
implementing the general approach introduced in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et.MinimalForbiddenTuplesCheckerFactory Factory for creating aMinimalForbiddenTuplesChecker
.ModelBasedConstraintChecker NegatedConstraint NoConstraintChecker NoConstraintCheckerFactory SoftConstraintCheckerFactory