C++ (Cpp) CTX::num_vars Beispiele

Beispiel #1

Datei: subpaving.cpp Projekt: chadbrewbaker/z3

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

Beispiel #2

Datei: subpaving.cpp Projekt: AleksandarZeljic/z3

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