Public Member Functions | Friends

wali::wpds::fwpds::LazyTrans Class Reference

List of all members.

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::ETransgetETrans ()
virtual wfa::ITranscopy () const
virtual wfa::ITranscopy (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

Constructor & Destructor Documentation

wali::wpds::fwpds::LazyTrans::LazyTrans ( wali_key_t  from,
wali_key_t  stack,
wali_key_t  to,
sem_elem_t  se,
Config config 
)
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]

Member Function Documentation

ewpds::ETrans * wali::wpds::fwpds::LazyTrans::getETrans (  )  [virtual]
wfa::ITrans * wali::wpds::fwpds::LazyTrans::copy (  )  const [virtual]
wfa::ITrans * wali::wpds::fwpds::LazyTrans::copy ( Key  f,
Key  s,
Key  t 
) const [virtual]
const sem_elem_t wali::wpds::fwpds::LazyTrans::weight (  )  const throw () [virtual]
sem_elem_t wali::wpds::fwpds::LazyTrans::weight (  )  throw () [virtual]
void wali::wpds::fwpds::LazyTrans::setWeight ( sem_elem_t  w  )  [virtual]
void wali::wpds::fwpds::LazyTrans::combineTrans ( wfa::ITrans tp  )  [virtual]
TaggedWeight wali::wpds::fwpds::LazyTrans::apply_post ( TaggedWeight  tw  )  const [virtual]
TaggedWeight wali::wpds::fwpds::LazyTrans::apply_pre ( TaggedWeight  tw  )  const [virtual]
void wali::wpds::fwpds::LazyTrans::applyWeightChanger ( util::WeightChanger wc  )  [virtual]
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]

Friends And Related Function Documentation

friend class WPDS [friend]

The documentation for this class was generated from the following files: