alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

move copy_acceptance_of and copy_ap_of to tgba.hh

Browse source 
Fixes #65.

* src/tgba/tgbagraph.hh (copy_acceptance_of, copy_ap_of): Move...
* src/tgba/tgba.hh: ... here.
This commit is contained in:
Alexandre Duret-Lutz 2015-03-18 20:19:03 +01:00
parent a79267b8a3
commit 2dbef514bd
2 changed files with 15 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/tgba/tgba.hh
View file

@ -658,6 +658,21 @@ namespace spot
prop_state_based_acc(); prop_state_based_acc();
} }
/// \brief Copy the acceptance condition of another tgba.
void copy_acceptance_of(const const_tgba_ptr& a)
{
acc_ = a->acc();
unsigned num = acc_.num_sets();
prop_single_acc_set(!acc_.uses_fin_acceptance() && num == 1);
if (num == 0)
prop_state_based_acc();
}
void copy_ap_of(const const_tgba_ptr& a)
{
get_dict()->register_all_propositions_of(a, this);
}
protected: protected:
/// Do the actual computation of tgba::support_conditions(). /// Do the actual computation of tgba::support_conditions().
virtual bdd compute_support_conditions(const state* state) const = 0; virtual bdd compute_support_conditions(const state* state) const = 0;

16
src/tgba/tgbagraph.hh
View file

@ -425,22 +425,6 @@ namespace spot
auto is_dead_transition(const graph_t::trans_storage_t& t) const auto is_dead_transition(const graph_t::trans_storage_t& t) const
SPOT_RETURN(g_.is_dead_transition(t)); SPOT_RETURN(g_.is_dead_transition(t));
/// \brief Copy the acceptance conditions of another tgba.
void copy_acceptance_of(const const_tgba_ptr& a)
{
// FIXME: Should rename as copy_acceptance_condition*_of
acc_ = a->acc();
unsigned num = acc_.num_sets();
prop_single_acc_set(!acc_.uses_fin_acceptance() && num == 1);
if (num == 0)
prop_state_based_acc();
}
void copy_ap_of(const const_tgba_ptr& a)
{
get_dict()->register_all_propositions_of(a, this);
}
virtual bdd compute_support_conditions(const state* s) const virtual bdd compute_support_conditions(const state* s) const
{ {
bdd sum = bddfalse; bdd sum = bddfalse;