Searched refs:atomic_propositions_set_ (Results 1 – 2 of 2) sorted by relevance
/dports/math/spot/spot-2.10.2/spot/taalgos/ |
H A D | tgba2ta.cc | 382 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 D | tgba2ta.cc | 382 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);
|