Home
last modified time | relevance | path

Searched refs:mk_enode_trail (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_context.h806 friend class mk_enode_trail; variable
807 class mk_enode_trail : public trail {
810 mk_enode_trail(context& ctx) :ctx(ctx) {} in mk_enode_trail() function
813 mk_enode_trail m_mk_enode_trail;
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_context.h803 friend class mk_enode_trail; variable
804 class mk_enode_trail : public trail<context> {
808 mk_enode_trail m_mk_enode_trail;