コード例 #1
0
ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun 
 virtual unsigned hcons_hash() const { return m_sort->get_id(); }
コード例 #2
0
ファイル: pdecl.cpp プロジェクト: chadbrewbaker/z3 
 unsigned hcons_hash() const override { return m_sort->get_id(); }