C++ (Cpp) sort::get_id示例

示例#1

文件： pdecl.cpp 项目： sukwon0709/byterun

 virtual unsigned hcons_hash() const { return m_sort->get_id(); }

示例#2

文件： pdecl.cpp 项目： chadbrewbaker/z3

 unsigned hcons_hash() const override { return m_sort->get_id(); }