Exemplos de CTX::dec_ref em C++ (Cpp)

Exemplo n.º 1

Arquivo: subpaving.cpp Projeto: chadbrewbaker/z3

 void dec_ref(ineq * a) override { m_ctx.dec_ref(reinterpret_cast<typename CTX::ineq*>(a)); }

Exemplo n.º 2

Arquivo: subpaving.cpp Projeto: AleksandarZeljic/z3

 virtual void dec_ref(ineq * a) { m_ctx.dec_ref(reinterpret_cast<typename CTX::ineq*>(a)); }