Home
last modified time | relevance | path

Searched refs:m_der_decl (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast.cpp729 m_der_decl(nullptr), in basic_decl_plugin()
900 case PR_DER: return mk_proof_decl("der", k, 0, m_der_decl); in mk_proof_decl()
1019 DEC_REF(m_der_decl); in finalize()
H A Dast.h1142 func_decl * m_der_decl; variable
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast.cpp835 case PR_DER: return mk_proof_decl("der", k, 0, m_der_decl); in mk_proof_decl()
954 DEC_REF(m_der_decl); in finalize()
H A Dast.h1145 func_decl * m_der_decl = nullptr; variable