Searched refs:m_table_plugin (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/muz/rel/ |
| H A D | dl_table_relation.h | 39 table_plugin & m_table_plugin; variable
44 … : relation_plugin(create_plugin_name(tp), manager, ST_TABLE_RELATION), m_table_plugin(tp) {} in table_relation_plugin()
46 table_plugin & get_table_plugin() { return m_table_plugin; } in get_table_plugin()
|
| H A D | dl_table_relation.cpp | 44 m_table_plugin.can_handle_signature(tsig); in can_handle_signature()
53 table_base * t = m_table_plugin.mk_empty(tsig); in mk_empty()
62 table_base * t = m_table_plugin.mk_full(p, tsig, kind); in mk_full_relation()
70 if (&t->get_plugin() == &m_table_plugin) in mk_from_table()
96 if(&tres->get_plugin()!=&plugin.m_table_plugin) { in operator ()()
158 if(&tres->get_plugin()!=&plugin.m_table_plugin) { in operator ()()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/ |
| H A D | dl_table_relation.h | 39 table_plugin & m_table_plugin; variable
44 … : relation_plugin(create_plugin_name(tp), manager, ST_TABLE_RELATION), m_table_plugin(tp) {} in table_relation_plugin()
46 table_plugin & get_table_plugin() { return m_table_plugin; } in get_table_plugin()
|
| H A D | dl_table_relation.cpp | 44 m_table_plugin.can_handle_signature(tsig); in can_handle_signature()
53 table_base * t = m_table_plugin.mk_empty(tsig); in mk_empty()
62 table_base * t = m_table_plugin.mk_full(p, tsig, kind); in mk_full_relation()
70 if (&t->get_plugin() == &m_table_plugin) in mk_from_table()
96 if(&tres->get_plugin()!=&plugin.m_table_plugin) { in operator ()()
158 if(&tres->get_plugin()!=&plugin.m_table_plugin) { in operator ()()
|