Public Member Functions | |
LazyTrans (wali_key_t from, wali_key_t stack, wali_key_t to, sem_elem_t se, Config *config) | |
LazyTrans (wfa::ITrans *delegate) | |
LazyTrans (wfa::ITrans *delegate, graph::InterGraphPtr igr) | |
virtual | ~LazyTrans () |
virtual wali::wpds::ewpds::ETrans * | getETrans () |
virtual wfa::ITrans * | copy () const |
virtual wfa::ITrans * | copy (Key f, Key s, Key t) const |
virtual const sem_elem_t | weight () const throw () |
virtual sem_elem_t | weight () throw () |
virtual void | setWeight (sem_elem_t w) |
virtual void | combineTrans (wfa::ITrans *tp) |
virtual TaggedWeight | apply_post (TaggedWeight tw) const |
virtual TaggedWeight | apply_pre (TaggedWeight tw) const |
virtual void | applyWeightChanger (util::WeightChanger &wc) |
void | setInterGraph (graph::InterGraphPtr igr) |
virtual std::ostream & | print (std::ostream &o) const |
Friends | |
class | WPDS |
wali::wpds::fwpds::LazyTrans::LazyTrans | ( | wali_key_t | from, | |
wali_key_t | stack, | |||
wali_key_t | to, | |||
sem_elem_t | se, | |||
Config * | config | |||
) |
References wali::wfa::DecoratorTrans::setConfig().
wali::wpds::fwpds::LazyTrans::LazyTrans | ( | wfa::ITrans * | delegate | ) |
TODO comments
wali::wpds::fwpds::LazyTrans::LazyTrans | ( | wfa::ITrans * | delegate, | |
graph::InterGraphPtr | igr | |||
) |
TODO comments
References setInterGraph().
wali::wpds::fwpds::LazyTrans::~LazyTrans | ( | ) | [virtual] |
ewpds::ETrans * wali::wpds::fwpds::LazyTrans::getETrans | ( | ) | [virtual] |
References wali::wfa::DecoratorTrans::getDelegate().
wfa::ITrans * wali::wpds::fwpds::LazyTrans::copy | ( | ) | const [virtual] |
Implements wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
wfa::ITrans * wali::wpds::fwpds::LazyTrans::copy | ( | Key | f, | |
Key | s, | |||
Key | t | |||
) | const [virtual] |
Implements wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
const sem_elem_t wali::wpds::fwpds::LazyTrans::weight | ( | ) | const throw () [virtual] |
Reimplemented from wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
sem_elem_t wali::wpds::fwpds::LazyTrans::weight | ( | ) | throw () [virtual] |
Reimplemented from wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
void wali::wpds::fwpds::LazyTrans::setWeight | ( | sem_elem_t | w | ) | [virtual] |
Reimplemented from wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate(), and wali::ref_ptr< T >::is_valid().
Referenced by setInterGraph().
void wali::wpds::fwpds::LazyTrans::combineTrans | ( | wfa::ITrans * | tp | ) | [virtual] |
Reimplemented from wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
TaggedWeight wali::wpds::fwpds::LazyTrans::apply_post | ( | TaggedWeight | tw | ) | const [virtual] |
Implements wali::wfa::ITrans.
References wali::wfa::DecoratorTrans::getDelegate().
TaggedWeight wali::wpds::fwpds::LazyTrans::apply_pre | ( | TaggedWeight | tw | ) | const [virtual] |
Implements wali::wfa::ITrans.
References wali::wfa::DecoratorTrans::getDelegate().
void wali::wpds::fwpds::LazyTrans::applyWeightChanger | ( | util::WeightChanger & | wc | ) | [virtual] |
Implements wali::wfa::ITrans.
References wali::wfa::DecoratorTrans::getDelegate().
void wali::wpds::fwpds::LazyTrans::setInterGraph | ( | graph::InterGraphPtr | igr | ) |
References setWeight().
Referenced by LazyTrans().
std::ostream & wali::wpds::fwpds::LazyTrans::print | ( | std::ostream & | o | ) | const [virtual] |
Reimplemented from wali::wfa::DecoratorTrans.
References wali::wfa::DecoratorTrans::getDelegate().
friend class WPDS [friend] |