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

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

add(symbol_t)UTAP::frame_t
add(frame_t)UTAP::frame_t
addSymbol(const std::string &name, type_t, void *user=NULL)UTAP::frame_t
createFrame()UTAP::frame_tstatic
createFrame(const frame_t &parent)UTAP::frame_tstatic
empty()UTAP::frame_t
frame_t(void *)UTAP::frame_tprotected
frame_t()UTAP::frame_t
frame_t(const frame_t &)UTAP::frame_t
getIndexOf(const std::string &name) constUTAP::frame_t
getIndexOf(symbol_t) constUTAP::frame_t
getParent()UTAP::frame_t
getSize() constUTAP::frame_t
getSymbol(int32_t)UTAP::frame_t
hasParent() constUTAP::frame_t
moveTo(frame_t)UTAP::frame_t
operator!=(const frame_t &) constUTAP::frame_t
operator=(const frame_t &)UTAP::frame_t
operator==(const frame_t &) constUTAP::frame_t
operator[](int32_t)UTAP::frame_t
operator[](int32_t) constUTAP::frame_t
remove(symbol_t s)UTAP::frame_t
resolve(const std::string &name, symbol_t &symbol)UTAP::frame_t
symbol_t classUTAP::frame_tfriend
toString()UTAP::frame_t
~frame_t()UTAP::frame_t