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] | 
        
 1.7.1