libutap
0.93
Uppaal Timed Automata Parser
|
#include "utap/common.h"
#include "utap/position.h"
#include "utap/type.h"
#include <cinttypes>
#include <exception>
Go to the source code of this file.
Classes | |
class | UTAP::NoParentException |
class | UTAP::range_t |
An integer range. More... | |
class | UTAP::symbol_t |
A reference to a symbol. More... | |
class | UTAP::frame_t |
A reference to a frame. More... | |
Namespaces | |
UTAP | |
Functions | |
std::ostream & | operator<< (std::ostream &o, UTAP::symbol_t t) |
std::ostream & | operator<< (std::ostream &o, UTAP::frame_t t) |
std::ostream& operator<< | ( | std::ostream & | o, |
UTAP::symbol_t | t | ||
) |
Definition at line 244 of file symbols.cpp.
References UTAP::symbol_t::getName(), and UTAP::symbol_t::getType().
std::ostream& operator<< | ( | std::ostream & | o, |
UTAP::frame_t | t | ||
) |
Definition at line 493 of file symbols.cpp.
References UTAP::frame_t::getSize().