KGeneralizedArcConsistencyTableConstraint

class KGeneralizedArcConsistencyTableConstraint : public KConstraint

This class implements a generic class for propagation of any n-ary constraint by generalized arc consistency \

See

KGeneralizedArcConsistencyConstraint KConstraint

Since

2016.1

Public Functions

KGeneralizedArcConsistencyTableConstraint(KIntVarArray &vars, KTupleArray &tuples, const char *name = 0)

Constructor. This constructor takes three arguments

Parameters

• vars – is the list of variables in the table constraint

• tuples – is the list of tuples allowed by the constraint

• name – label for pretty printing of the constraint

KGeneralizedArcConsistencyTableConstraint(const KGeneralizedArcConsistencyTableConstraint &toCopy)

Copy Constructor.