libutap  0.93
Uppaal Timed Automata Parser
UTAP::symbol_t Member List

This is the complete list of members for UTAP::symbol_t, including all inherited members.

frame_t classUTAP::symbol_tfriend
getData()UTAP::symbol_t
getData() constUTAP::symbol_t
getFrame()UTAP::symbol_t
getName() constUTAP::symbol_t
getType() constUTAP::symbol_t
operator!=(const symbol_t &) constUTAP::symbol_t
operator<(const symbol_t &) constUTAP::symbol_t
operator=(const symbol_t &)UTAP::symbol_t
operator==(const symbol_t &) constUTAP::symbol_t
setData(void *)UTAP::symbol_t
setName(const std::string &)UTAP::symbol_t
setType(type_t)UTAP::symbol_t
symbol_t(void *frame, type_t type, const std::string &name, void *user)UTAP::symbol_tprotected
symbol_t()UTAP::symbol_tinline
symbol_t(const symbol_t &)UTAP::symbol_t
~symbol_t()UTAP::symbol_t