Esempi in C++ (Cpp) per sort::get_id

Esempio n. 1

File: pdecl.cpp Progetto: sukwon0709/byterun

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

Esempio n. 2

File: pdecl.cpp Progetto: chadbrewbaker/z3

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