Searched refs:Z3_fixedpoint_inc_ref (Results 1 – 12 of 12) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/api/ |
| H A D | z3_fixedpoint.h | 45 void Z3_API Z3_fixedpoint_inc_ref(Z3_context c, Z3_fixedpoint d);
|
| H A D | api_datalog.cpp | 234 void Z3_API Z3_fixedpoint_inc_ref(Z3_context c, Z3_fixedpoint s) { in Z3_fixedpoint_inc_ref() function
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
| H A D | z3_fixedpoint.h | 45 void Z3_API Z3_fixedpoint_inc_ref(Z3_context c, Z3_fixedpoint d);
|
| H A D | api_datalog.cpp | 234 void Z3_API Z3_fixedpoint_inc_ref(Z3_context c, Z3_fixedpoint s) { in Z3_fixedpoint_inc_ref() function
|
| /dports/math/vampire/vampire-4.5.1/z3/api/ |
| H A D | z3_fixedpoint.h | 46 void Z3_API Z3_fixedpoint_inc_ref(Z3_context c, Z3_fixedpoint d);
|
| H A D | z3++.h | 2775 … fixedpoint(context& c):object(c) { m_fp = Z3_mk_fixedpoint(c); Z3_fixedpoint_inc_ref(c, m_fp); } in fixedpoint()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/dotnet/ |
| H A D | Fixedpoint.cs | 327 Native.Z3_fixedpoint_inc_ref(ctx.nCtx, obj); in IncRef()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/dotnet/ |
| H A D | Fixedpoint.cs | 327 Native.Z3_fixedpoint_inc_ref(ctx.nCtx, obj); in IncRef()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/c++/ |
| H A D | z3++.h | 3188 … fixedpoint(context& c):object(c) { m_fp = Z3_mk_fixedpoint(c); Z3_fixedpoint_inc_ref(c, m_fp); } in fixedpoint()
3189 … fixedpoint(fixedpoint const & o):object(o), m_fp(o.m_fp) { Z3_fixedpoint_inc_ref(ctx(), m_fp); } in fixedpoint()
3192 Z3_fixedpoint_inc_ref(o.ctx(), o.m_fp);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/c++/ |
| H A D | z3++.h | 2932 … fixedpoint(context& c):object(c) { m_fp = Z3_mk_fixedpoint(c); Z3_fixedpoint_inc_ref(c, m_fp); } in fixedpoint()
|
| /dports/math/z3/z3-z3-4.8.13/src/api/python/z3/ |
| H A D | z3.py | 7334 Z3_fixedpoint_inc_ref(self.ctx.ref(), self.fixedpoint)
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/ |
| H A D | z3.py | 7002 Z3_fixedpoint_inc_ref(self.ctx.ref(), self.fixedpoint)
|