spot  1.0.2
Classes | Namespaces | Functions
location.hh File Reference
#include <iostream>
#include <string>
#include "position.hh"
Include dependency graph for location.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  ltlyy::location
 Abstract a location. More...

Namespaces

namespace  ltlyy

Functions

const location ltlyy::operator+ (const location &begin, const location &end)
 Join two location objects to create a location.
const location ltlyy::operator+ (const location &begin, unsigned int width)
 Add two location objects.
location & ltlyy::operator+= (location &res, unsigned int width)
 Add and assign a location.
bool ltlyy::operator== (const location &loc1, const location &loc2)
 Compare two location objects.
bool ltlyy::operator!= (const location &loc1, const location &loc2)
 Compare two location objects.
std::ostream & ltlyy::operator<< (std::ostream &ostr, const location &loc)
 Intercept output stream redirection.

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:14 for spot by doxygen 1.8.1.2