A generic C++ library for Hierarchical Set Decision Diagrams