libutap  0.93
Uppaal Timed Automata Parser
symbols.cpp File Reference
#include <cstdlib>
#include <cassert>
#include <vector>
#include <map>
#include <stdexcept>
#include "utap/symbols.h"
#include "utap/expression.h"
Include dependency graph for symbols.cpp:

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &o, UTAP::symbol_t t)
 
std::ostream & operator<< (std::ostream &o, UTAP::frame_t t)
 

Function Documentation

◆ operator<<() [1/2]

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().

Here is the call graph for this function:

◆ operator<<() [2/2]

std::ostream& operator<< ( std::ostream &  o,
UTAP::frame_t  t 
)

Definition at line 493 of file symbols.cpp.

References UTAP::frame_t::getSize().

Here is the call graph for this function: