Home
last modified time | relevance | path

Searched defs:var_is_leaf (Results 1 – 4 of 4) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/dd/
H A Ddd_pdd.h337 bool var_is_leaf(unsigned v) const { return m.var_is_leaf(root, v); } in var_is_leaf() function
H A Ddd_pdd.cpp668 bool pdd_manager::var_is_leaf(PDD p, unsigned v) { in var_is_leaf() function in dd::pdd_manager
/dports/math/z3/z3-z3-4.8.13/src/math/dd/
H A Ddd_pdd.h347 bool var_is_leaf(unsigned v) const { return m.var_is_leaf(root, v); } in var_is_leaf() function
H A Ddd_pdd.cpp770 bool pdd_manager::var_is_leaf(PDD p, unsigned v) { in var_is_leaf() function in dd::pdd_manager