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

Class DynamicHardConstraintChecker

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.constraint.ModelBasedConstraintChecker

de.rwth.swc.coffee4j.algorithmic.constraint.DynamicHardConstraintChecker

All Implemented Interfaces:

ConstraintChecker

public class DynamicHardConstraintChecker
extends ModelBasedConstraintChecker

Field Summary

Fields inherited from class de.rwth.swc.coffee4j.algorithmic.constraint.ModelBasedConstraintChecker

model

Constructor Summary

Constructors

Constructor	Description
DynamicHardConstraintChecker(CompleteTestModel inputParameterModel, List<Constraint> exclusionConstraints, List<Constraint> errorConstraints)

Method Summary

Modifier and Type	Method	Description
void	addConstraint(int[] forbiddenCombination)
it.unimi.dsi.fastutil.ints.IntSet	getInvolvedParameters()

Methods inherited from class de.rwth.swc.coffee4j.algorithmic.constraint.ModelBasedConstraintChecker

isDualValid, isExtensionValid, isValid

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DynamicHardConstraintChecker

public DynamicHardConstraintChecker(CompleteTestModel inputParameterModel,
                                    List<Constraint> exclusionConstraints,
                                    List<Constraint> errorConstraints)

Method Detail

addConstraint

public void addConstraint(int[] forbiddenCombination)

Specified by:

addConstraint in interface ConstraintChecker

Overrides:

addConstraint in class ModelBasedConstraintChecker

getInvolvedParameters

public it.unimi.dsi.fastutil.ints.IntSet getInvolvedParameters()