ForbiddenTuplesChecker (de.rwth.swc.coffee4j:coffee4j-aggregate 1.0.8 API)

java.lang.Object
- de.rwth.swc.coffee4j.algorithmic.constraint.ForbiddenTuplesChecker

All Implemented Interfaces:

ConstraintChecker

Direct Known Subclasses:

MinimalForbiddenTuplesChecker
```
public abstract class ForbiddenTuplesChecker
extends Object
implements ConstraintChecker
```
Abstract class to provide general functionality for both approaches depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples" by Yu et. al.

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`protected abstract void`	`generateMinimalForbiddenTupleSet()`	template method that can be implemented to provide the general approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
`protected abstract void`	`generateNecessaryForbiddenTupleSet(int[] combination)`	template method that can be used to provide the on-demand approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
`Set<it.unimi.dsi.fastutil.ints.IntList>`	`getInitialForbiddenTuples()`
`Set<it.unimi.dsi.fastutil.ints.IntList>`	`getMinimalForbiddenTuples()`
`boolean`	`isDualValid(int[] parameters, int[] values)`
`boolean`	`isExtensionValid(int[] combination, int... parameterValues)`
`boolean`	`isValid(int[] combination)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.rwth.swc.coffee4j.algorithmic.constraint.ConstraintChecker
addConstraint

- Method Detail
  - generateMinimalForbiddenTupleSet
```
protected abstract void generateMinimalForbiddenTupleSet()
```
    template method that can be implemented to provide the general approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
  - generateNecessaryForbiddenTupleSet
```
protected abstract void generateNecessaryForbiddenTupleSet(int[] combination)
```
    template method that can be used to provide the on-demand approach depicted in "Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples".
    
    Parameters:
    
    combination - combination for which the set of minimal forbidden tuples is created.
  - getMinimalForbiddenTuples
```
public Set<it.unimi.dsi.fastutil.ints.IntList> getMinimalForbiddenTuples()
```
  - getInitialForbiddenTuples
```
public Set<it.unimi.dsi.fastutil.ints.IntList> getInitialForbiddenTuples()
```
  - isValid
```
public boolean isValid(int[] combination)
```
    Specified by:
    
    isValid in interface ConstraintChecker
  - isExtensionValid
```
public boolean isExtensionValid(int[] combination,
                                int... parameterValues)
```
    Specified by:
    
    isExtensionValid in interface ConstraintChecker
  - isDualValid
```
public boolean isDualValid(int[] parameters,
                           int[] values)
```
    Specified by:
    
    isDualValid in interface ConstraintChecker