libutap  0.93
Uppaal Timed Automata Parser
symbols.h File Reference
#include "utap/common.h"
#include "utap/position.h"
#include "utap/type.h"
#include <cinttypes>
#include <exception>
Include dependency graph for symbols.h:
This graph shows which files directly or indirectly include this file:

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)
 

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: