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

rename tgba_proxy into twa_proxy

Browse source 
Automatic mass renaming.

* src/tgba/tgbamask.cc, src/tgba/tgbaproxy.cc, src/tgba/tgbaproxy.hh:
Rename tgba_proxy into twa_proxy.
This commit is contained in:
Alexandre Duret-Lutz 2015-04-21 19:50:48 +02:00
parent 2648ea170f
commit 5301fce3bf
3 changed files with 13 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgba/tgbamask.cc
View file

@ -84,7 +84,7 @@ namespace spot
/// ///
/// This is an abstract class. You should inherit from it and /// This is an abstract class. You should inherit from it and
/// supply a wanted() method to specify which states to keep. /// supply a wanted() method to specify which states to keep.
class tgba_mask: public tgba_proxy class tgba_mask: public twa_proxy
{ {
protected: protected:
/// \brief Constructor. /// \brief Constructor.
@ -92,7 +92,7 @@ namespace spot
/// \param init Any state to use as initial state. This state will be /// \param init Any state to use as initial state. This state will be
/// destroyed by the destructor. /// destroyed by the destructor.
tgba_mask(const const_twa_ptr& masked, const state* init = 0): tgba_mask(const const_twa_ptr& masked, const state* init = 0):
tgba_proxy(masked), twa_proxy(masked),
init_(init) init_(init)
{ {
if (!init) if (!init)

16
src/tgba/tgbaproxy.cc
View file

@ -21,25 +21,25 @@
namespace spot namespace spot
{ {
tgba_proxy::tgba_proxy(const const_twa_ptr& original) twa_proxy::twa_proxy(const const_twa_ptr& original)
: twa(original->get_dict()), original_(original) : twa(original->get_dict()), original_(original)
{ {
get_dict()->register_all_variables_of(original, this); get_dict()->register_all_variables_of(original, this);
acc_.add_sets(original->acc().num_sets()); acc_.add_sets(original->acc().num_sets());
} }
tgba_proxy::~tgba_proxy() twa_proxy::~twa_proxy()
{ {
get_dict()->unregister_all_my_variables(this); get_dict()->unregister_all_my_variables(this);
} }
state* tgba_proxy::get_init_state() const state* twa_proxy::get_init_state() const
{ {
return original_->get_init_state(); return original_->get_init_state();
} }
twa_succ_iterator* twa_succ_iterator*
tgba_proxy::succ_iter(const state* state) const twa_proxy::succ_iter(const state* state) const
{ {
if (iter_cache_) if (iter_cache_)
{ {
@ -50,25 +50,25 @@ namespace spot
} }
std::string std::string
tgba_proxy::format_state(const state* state) const twa_proxy::format_state(const state* state) const
{ {
return original_->format_state(state); return original_->format_state(state);
} }
std::string std::string
tgba_proxy::transition_annotation(const twa_succ_iterator* t) const twa_proxy::transition_annotation(const twa_succ_iterator* t) const
{ {
return original_->transition_annotation(t); return original_->transition_annotation(t);
} }
state* state*
tgba_proxy::project_state(const state* s, const const_twa_ptr& t) const twa_proxy::project_state(const state* s, const const_twa_ptr& t) const
{ {
return original_->project_state(s, t); return original_->project_state(s, t);
} }
bdd bdd
tgba_proxy::compute_support_conditions(const state* state) const twa_proxy::compute_support_conditions(const state* state) const
{ {
return original_->support_conditions(state); return original_->support_conditions(state);
} }

6
src/tgba/tgbaproxy.hh
View file

@ -32,13 +32,13 @@ namespace spot
/// original automaton right away. However it is useful /// original automaton right away. However it is useful
/// to inherit from this class and override some of its /// to inherit from this class and override some of its
/// methods to implement some on-the-fly algorithm. /// methods to implement some on-the-fly algorithm.
class SPOT_API tgba_proxy: public twa class SPOT_API twa_proxy: public twa
{ {
protected: protected:
tgba_proxy(const const_twa_ptr& original); twa_proxy(const const_twa_ptr& original);
public: public:
virtual ~tgba_proxy(); virtual ~twa_proxy();
virtual state* get_init_state() const; virtual state* get_init_state() const;