예제 #1
0
 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(); }