wali::util::WeightChanger Class Reference

Encapsulates a unary function for changing weights. More...

List of all members.

Public Member Functions
virtual	~WeightChanger ()
virtual sem_elem_t	change_weight (sem_elem_t wt)=0

---

Detailed Description

Encapsulates a unary function for changing weights.

See also:

wali::sem_elem_t

---

Constructor & Destructor Documentation

virtual wali::util::WeightChanger::~WeightChanger

(

)

[virtual]

---

Member Function Documentation

virtual sem_elem_t wali::util::WeightChanger::change_weight

(

sem_elem_t

wt

)

[pure virtual]

Referenced by wali::wpds::ewpds::ETrans::applyWeightChanger(), and wali::wfa::Trans::applyWeightChanger().

---

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

• Source/wali/util/WeightChanger.hpp