Пример #1
0
 virtual unsigned hcons_hash() const { return m_sort->get_id(); }
Пример #2
0
 unsigned hcons_hash() const override { return m_sort->get_id(); }