de.rwth.swc.coffee4j.engine.constraint

Interface ConstraintChecker

All Known Implementing Classes:

ModelBasedConstraintChecker, NoConstraintChecker

public interface ConstraintChecker

Method Summary

Modifier and Type	Method and Description
boolean	isDualValid(int[] parameters, int[] values)
boolean	isExtensionValid(int[] combination, int... parameterValues)
boolean	isSatisfiable()
boolean	isValid(int[] combination)

Method Detail

isSatisfiable

boolean isSatisfiable()

isValid

boolean isValid(int[] combination)

isExtensionValid

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

isDualValid

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