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

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

All Implemented Interfaces:: ConstraintChecker

Direct Known Subclasses:: DynamicHardConstraintChecker

public abstract class ModelBasedConstraintChecker
extends Object
implements ConstraintChecker

Field Summary

Fields
Modifier and Type Field Description

protected org.chocosolver.solver.Model model

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addConstraint(int[] forbiddenTuple)`
`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

Field Detail

model

protected final org.chocosolver.solver.Model model

Method Detail

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

addConstraint
```
public void addConstraint(int[] forbiddenTuple)
```
Specified by:

addConstraint in interface ConstraintChecker