spot  1.1.3
Classes | Namespaces | Functions
location.hh File Reference
#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  kripkeyy::location
 Abstract a location. More...
 

Namespaces

 kripkeyy
 

Functions

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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jul 9 2013 14:04:33 for spot by doxygen 1.8.4