Searched defs:get_rmanager (Results 1 – 1 of 1) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ | ||
| H A D | rel_context.cpp | 470 relation_manager & rel_context::get_rmanager() { return m_rmanager; } in get_rmanager() function in datalog::rel_context |