Searched refs:Z3_fixedpoint_query_from_lvl (Results 1 – 7 of 7) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/api/ |
H A D | z3_spacer.h | 45 …Z3_lbool Z3_API Z3_fixedpoint_query_from_lvl (Z3_context c,Z3_fixedpoint d, Z3_ast query, unsigned…
|
H A D | api_datalog.cpp | 611 …Z3_lbool Z3_API Z3_fixedpoint_query_from_lvl (Z3_context c, Z3_fixedpoint d, Z3_ast q, unsigned lv… in Z3_fixedpoint_query_from_lvl() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/ |
H A D | z3_spacer.h | 45 …Z3_lbool Z3_API Z3_fixedpoint_query_from_lvl (Z3_context c,Z3_fixedpoint d, Z3_ast query, unsigned…
|
H A D | api_datalog.cpp | 610 …Z3_lbool Z3_API Z3_fixedpoint_query_from_lvl (Z3_context c, Z3_fixedpoint d, Z3_ast q, unsigned lv… in Z3_fixedpoint_query_from_lvl() function
|
/dports/math/vampire/vampire-4.5.1/z3/api/ |
H A D | z3_spacer.h | 46 …Z3_lbool Z3_API Z3_fixedpoint_query_from_lvl (Z3_context c,Z3_fixedpoint d, Z3_ast query, unsigned…
|
/dports/math/z3/z3-z3-4.8.13/src/api/python/z3/ |
H A D | z3.py | 7454 r = Z3_fixedpoint_query_from_lvl(self.ctx.ref(), self.fixedpoint, query.as_ast(), lvl)
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/python/z3/ |
H A D | z3.py | 7122 r = Z3_fixedpoint_query_from_lvl (self.ctx.ref(), self.fixedpoint, query.as_ast(), lvl)
|