Home
last modified time | relevance | path

Searched refs:comm_table (Results 1 – 17 of 17) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/ast/euf/
H A Deuf_etable.cpp83 … r = TAG(void*, alloc(comm_table, cg_comm_hash(), cg_comm_eq(m_commutativity)), BINARY_COMM); in mk_table_for()
129 dealloc(UNTAG(comm_table*, t)); in reset()
174 comm_table* tb = UNTAG(comm_table*, t); in display_binary_comm()
217 n_prime = UNTAG(comm_table*, t)->insert_if_not_there(n); in insert()
236 UNTAG(comm_table*, t)->erase(n); in erase()
253 return UNTAG(comm_table*, t)->contains(n); in contains()
269 return UNTAG(comm_table*, t)->find(n, r) ? r : nullptr; in find()
H A Deuf_etable.h107 typedef chashtable<enode*, cg_comm_hash, cg_comm_eq> comm_table; typedef
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/euf/
H A Deuf_etable.cpp83 … r = TAG(void*, alloc(comm_table, cg_comm_hash(), cg_comm_eq(m_commutativity)), BINARY_COMM); in mk_table_for()
129 dealloc(UNTAG(comm_table*, t)); in reset()
174 comm_table* tb = UNTAG(comm_table*, t); in display_binary_comm()
217 n_prime = UNTAG(comm_table*, t)->insert_if_not_there(n); in insert()
236 UNTAG(comm_table*, t)->erase(n); in erase()
253 return UNTAG(comm_table*, t)->contains(n); in contains()
269 return UNTAG(comm_table*, t)->find(n, r) ? r : nullptr; in find()
H A Deuf_etable.h107 typedef chashtable<enode*, cg_comm_hash, cg_comm_eq> comm_table; typedef
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_cg_table.cpp90 … r = TAG(void*, alloc(comm_table, cg_comm_hash(), cg_comm_eq(m_commutativity)), BINARY_COMM); in mk_table_for()
135 dealloc(UNTAG(comm_table*, t)); in reset()
180 comm_table* tb = UNTAG(comm_table*, t); in display_binary_comm()
225 n_prime = UNTAG(comm_table*, t)->insert_if_not_there(n); in insert()
245 UNTAG(comm_table*, t)->erase(n); in erase()
H A Dsmt_cg_table.h106 typedef chashtable<enode*, cg_comm_hash, cg_comm_eq> comm_table; typedef
164 return UNTAG(comm_table*, t)->contains(n); in contains()
180 return UNTAG(comm_table*, t)->find(n, r) ? r : nullptr; in find()
196 return UNTAG(comm_table*, t)->find(n, r) && n == r; in contains_ptr()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_cg_table.cpp90 … r = TAG(void*, alloc(comm_table, cg_comm_hash(), cg_comm_eq(m_commutativity)), BINARY_COMM); in mk_table_for()
135 dealloc(UNTAG(comm_table*, t)); in reset()
180 comm_table* tb = UNTAG(comm_table*, t); in display_binary_comm()
225 n_prime = UNTAG(comm_table*, t)->insert_if_not_there(n); in insert()
245 UNTAG(comm_table*, t)->erase(n); in erase()
H A Dsmt_cg_table.h106 typedef chashtable<enode*, cg_comm_hash, cg_comm_eq> comm_table; typedef
164 return UNTAG(comm_table*, t)->contains(n); in contains()
180 return UNTAG(comm_table*, t)->find(n, r) ? r : nullptr; in find()
196 return UNTAG(comm_table*, t)->find(n, r) && n == r; in contains_ptr()
/dports/finance/gnucash/gnucash-4.9/bindings/python/example_scripts/
H A Dsimple_test.py25 comm_table = book.get_table() variable
26 cad = comm_table.lookup("CURRENCY", "CAD")
H A Dlatex_invoices.py267 comm_table = book.get_table()
268 EUR = comm_table.lookup("CURRENCY", "EUR")
/dports/multimedia/v4l_compat/linux-5.13-rc2/tools/perf/scripts/python/
H A Dexport-to-sqlite.py618 comm_table(0, "unknown", 0, 0, 0)
687 def comm_table(*x): function
H A Dexport-to-postgresql.py804 comm_table(0, "unknown", 0, 0, 0)
991 def comm_table(comm_id, comm_str, thread_id, time, exec_flag, *x): function
/dports/multimedia/libv4l/linux-5.13-rc2/tools/perf/scripts/python/
H A Dexport-to-sqlite.py618 comm_table(0, "unknown", 0, 0, 0)
687 def comm_table(*x): function
H A Dexport-to-postgresql.py804 comm_table(0, "unknown", 0, 0, 0)
991 def comm_table(comm_id, comm_str, thread_id, time, exec_flag, *x): function
/dports/multimedia/v4l-utils/linux-5.13-rc2/tools/perf/scripts/python/
H A Dexport-to-sqlite.py618 comm_table(0, "unknown", 0, 0, 0)
687 def comm_table(*x): function
H A Dexport-to-postgresql.py804 comm_table(0, "unknown", 0, 0, 0)
991 def comm_table(comm_id, comm_str, thread_id, time, exec_flag, *x): function
/dports/net/openbgpd6/openbgpd-6.9p0/src/bgpd/
H A Drde_community.c729 static struct comm_table { struct