Esempi in C++ (Cpp) per CTX::is_int

Esempio n. 1

File: subpaving.cpp Progetto: chadbrewbaker/z3

 bool is_int(var x) const override { return m_ctx.is_int(x); }

Esempio n. 2

File: subpaving.cpp Progetto: AleksandarZeljic/z3

 virtual bool is_int(var x) const { return m_ctx.is_int(x); }