Ejemplos de CTX::num_vars en C++ (Cpp)

Ejemplo n.º 1

Archivo: subpaving.cpp Proyecto: chadbrewbaker/z3

 unsigned num_vars() const override { return m_ctx.num_vars(); }

Ejemplo n.º 2

Archivo: subpaving.cpp Proyecto: AleksandarZeljic/z3

 virtual unsigned num_vars() const { return m_ctx.num_vars(); }