Package de.rwth.swc.coffee4j.algorithmic.constraint

Interface ConstraintChecker

All Known Implementing Classes:

DynamicHardConstraintChecker, ForbiddenTuplesChecker, MinimalForbiddenTuplesChecker, ModelBasedConstraintChecker, NoConstraintChecker

public interface ConstraintChecker

Method Summary

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)

Method Detail

isValid

boolean isValid(int[] combination)

isExtensionValid

boolean isExtensionValid(int[] combination,
                         int... parameterValues)

isDualValid

boolean isDualValid(int[] parameters,
                    int[] values)

addConstraint

void addConstraint(int[] forbiddenTuple)