Home
last modified time | relevance | path

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

/dports/math/z3/z3-z3-4.8.13/src/muz/rel/
H A Ddl_base.cpp105 unsigned s1first_func=s1sz-s1.functional_columns(); in from_join() local
107 for (unsigned i=0; i<s1first_func; i++) { in from_join()
113 for (unsigned i=s1first_func; i<s1sz; i++) { in from_join()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/rel/
H A Ddl_base.cpp105 unsigned s1first_func=s1sz-s1.functional_columns(); in from_join() local
107 for (unsigned i=0; i<s1first_func; i++) { in from_join()
113 for (unsigned i=s1first_func; i<s1sz; i++) { in from_join()