Public Types | |
enum | { t = 0, p = 1 } |
Public Attributes | |
std::set< int > | dep_resource |
bool | marked |
std::string | name |
int | p_num |
int | t_num |
int | type |
Definition at line 190 of file PNController.hpp.
anonymous enum |
Definition at line 192 of file PNController.hpp.
Definition at line 198 of file PNController.hpp.
Definition at line 196 of file PNController.hpp.
Definition at line 197 of file PNController.hpp.
Definition at line 195 of file PNController.hpp.
Definition at line 194 of file PNController.hpp.
Definition at line 193 of file PNController.hpp.