Home
last modified time | relevance | path

Searched refs:table_aptr (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/test/
H A Ddl_product_relation.cpp18 typedef scoped_rel<table_base> table_aptr; typedef
60 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
72 table_aptr t1 = (*project0)(*t0); in test_functional_columns()
78 table_aptr t2 = (*project1)(*t0); in test_functional_columns()
84 table_aptr rt = (*rproject)(*t0); in test_functional_columns()
89 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
94 table_aptr t1 = (*join0)(*t0, *t0); in test_functional_columns()
110 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/test/
H A Ddl_product_relation.cpp18 typedef scoped_rel<table_base> table_aptr; typedef
60 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
72 table_aptr t1 = (*project0)(*t0); in test_functional_columns()
78 table_aptr t2 = (*project1)(*t0); in test_functional_columns()
84 table_aptr rt = (*rproject)(*t0); in test_functional_columns()
89 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()
94 table_aptr t1 = (*join0)(*t0, *t0); in test_functional_columns()
110 table_aptr t0 = plugin.mk_empty(sig2); in test_functional_columns()