Exemplos de sort::get_id em C++ (Cpp)

Exemplo n.º 1

Arquivo: pdecl.cpp Projeto: sukwon0709/byterun

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

Exemplo n.º 2

Arquivo: pdecl.cpp Projeto: chadbrewbaker/z3

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