| 
    Clingo
    
   | 
 
Data structures and functions to track source locations. More...
Classes | |
| class | CppClingo::Position | 
| A point in an input source.  More... | |
| class | CppClingo::Location | 
| The Location of an expression in an input source.  More... | |
Functions | |
| auto | CppClingo::operator+ (Position a, Position b) -> Location | 
| Create a location from the given two positions.  | |
| 
template<class T >  requires requires(T const &x) { x.loc(); }  | |
| auto | CppClingo::location (T const &x) -> Location const & | 
| Get the location of an expression.  | |
| 
template<class... T>  requires requires(T const &...x) { (location(x), ...); }  | |
| auto | CppClingo::location (std::variant< T... > const &x) -> Location const & | 
| Get the location of an expression stored in a variant.  | |
Data structures and functions to track source locations.