Home
last modified time | relevance | path

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

/dports/math/spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc382 build_ta(const ta_explicit_ptr& ta, bdd atomic_propositions_set_, in build_ta() argument
414 atomic_propositions_set_)) in build_ta()
442 minterms_of(tgba_condition, atomic_propositions_set_)) in build_ta()
456 minterms_of(bddtrue, atomic_propositions_set_)) in build_ta()
511 tgba_to_ta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_, in tgba_to_ta() argument
535 build_ta(ta, atomic_propositions_set_, degeneralized, in tgba_to_ta()
568 tgba_to_tgta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_) in tgba_to_tgta() argument
581 build_ta(ta, atomic_propositions_set_, false, true, false, false); in tgba_to_tgta()
/dports/math/py-spot/spot-2.10.2/spot/taalgos/
H A Dtgba2ta.cc382 build_ta(const ta_explicit_ptr& ta, bdd atomic_propositions_set_,
414 atomic_propositions_set_))
442 minterms_of(tgba_condition, atomic_propositions_set_))
456 minterms_of(bddtrue, atomic_propositions_set_))
511 tgba_to_ta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_,
535 build_ta(ta, atomic_propositions_set_, degeneralized,
568 tgba_to_tgta(const const_twa_ptr& tgba_, bdd atomic_propositions_set_)
581 build_ta(ta, atomic_propositions_set_, false, true, false, false);