public abstract class ModelBasedConstraintChecker
extends java.lang.Object
implements ConstraintChecker

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

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

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

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

Class ModelBasedConstraintChecker