Searched defs:atomic_prop_collect_as_bdd (Results 1 – 4 of 4) sorted by relevance
57 atomic_prop_collect_as_bdd(formula f, const twa_ptr& a) in atomic_prop_collect_as_bdd() function
1667 atomic_prop_collect_as_bdd = _impl.atomic_prop_collect_as_bdd variable