Wali: Source/wali/util/WeightChanger.hpp Source File

Go to the documentation of this file.
00001 #ifndef wali_util_WEIGHT_CHANGER_GUARD
00002 #define wali_util_WEIGHT_CHANGER_GUARD 1
00003 
00004 /**
00005  * @author Akash Lal
00006  */
00007 
00008 #include "wali/Common.hpp"
00009 #include "wali/SemElem.hpp"
00010 
00011 namespace wali
00012 {
00013 
00014   namespace util
00015   {
00016     /**
00017      * @class WeightChanger
00018      *
00019      * Encapsulates a unary function for changing weights
00020      *
00021      * @see wali::sem_elem_t
00022      */
00023     class WeightChanger
00024     {
00025       public:
00026         virtual ~WeightChanger() {}
00027         virtual sem_elem_t change_weight( sem_elem_t wt ) = 0;
00028 
00029     }; // WeightChanger
00030 
00031   } // namespace util
00032 
00033 } // namespace wali
00034 
00035 #endif  // wali_util_WEIGHT_CHANGER_GUARD
00036