libutap  0.93
Uppaal Timed Automata Parser
position.h File Reference
#include <cinttypes>
#include <climits>
#include <vector>
#include <string>
#include <iostream>
Include dependency graph for position.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  UTAP::position_t
 
class  UTAP::Positions
 A container for information about lines and positions in the input file. More...
 
struct  UTAP::Positions::line_t
 
struct  UTAP::error_t
 

Namespaces

 UTAP
 

Functions

std::ostream & operator<< (std::ostream &out, const UTAP::error_t &)
 

Function Documentation

◆ operator<<()