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

Exemplo n.º 1

Arquivo: subpaving.cpp Projeto: chadbrewbaker/z3

 var mk_monomial(unsigned sz, power const * pws) override { return m_ctx.mk_monomial(sz, pws); }

Exemplo n.º 2

Arquivo: subpaving.cpp Projeto: AleksandarZeljic/z3

 virtual var mk_monomial(unsigned sz, power const * pws) { return m_ctx.mk_monomial(sz, pws); }