diff options
Diffstat (limited to 'src/expr/cardinality_constraint.cpp')
| -rw-r--r-- | src/expr/cardinality_constraint.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/expr/cardinality_constraint.cpp b/src/expr/cardinality_constraint.cpp index 3841228fb..695f5d4a3 100644 --- a/src/expr/cardinality_constraint.cpp +++ b/src/expr/cardinality_constraint.cpp @@ -56,6 +56,13 @@ std::ostream& operator<<(std::ostream& out, const CardinalityConstraint& cc) << ')'; } +size_t CardinalityConstraintHashFunction::operator()( + const CardinalityConstraint& cc) const +{ + return std::hash<TypeNode>()(cc.getType()) + * IntegerHashFunction()(cc.getUpperBound()); +} + CombinedCardinalityConstraint::CombinedCardinalityConstraint(const Integer& ub) : d_ubound(ub) { |