Line data    Source code

       1             : #include "Dynamic/Env/TAZ.hpp"
       2             : 
       3             : using namespace std;
       4             : using namespace Dynamic::Env;
       5             : 
       6           0 : TAZ::TAZ(ID id_):
       7           0 :     id(id_) {}