Searched defs:var_is_leaf (Results 1 – 4 of 4) sorted by relevance
337 bool var_is_leaf(unsigned v) const { return m.var_is_leaf(root, v); } in var_is_leaf() function
668 bool pdd_manager::var_is_leaf(PDD p, unsigned v) { in var_is_leaf() function in dd::pdd_manager
347 bool var_is_leaf(unsigned v) const { return m.var_is_leaf(root, v); } in var_is_leaf() function
770 bool pdd_manager::var_is_leaf(PDD p, unsigned v) { in var_is_leaf() function in dd::pdd_manager