std::string base1Str() const
Constraint::shared_ptr partiallyApply(const DiscreteValues &values) const override
Partially apply known values.
double operator()(const DiscreteValues &values) const override
Calculate value.
DecisionTreeFactor operator*(const DecisionTreeFactor &f) const override
Multiply into a decisiontree.
bool ensureArcConsistency(Key j, Domains *domains) const override
std::optional< Domain > checkAllDiff(const KeyVector keys, const Domains &domains) const
void print(const std::string &s="", const KeyFormatter &formatter=DefaultKeyFormatter) const override
print
DecisionTreeFactor toDecisionTreeFactor() const override
Convert into a decisiontree.