00001 #ifndef Deregistration_HPP 00002 #define Deregistration_HPP 00003 00012 class Deregistration{ 00013 00014 private: 00015 00016 void * ptr_; 00017 int superstep_; 00019 public: 00020 00028 Deregistration(void * ptr, int superstep): 00029 ptr_(ptr),superstep_(superstep){} 00030 00034 void * ptr(){ return ptr_; } 00035 00039 int superstep(){ return superstep_; } 00040 }; 00041 00042 #endif//Deregistration_HPP 00043 00044