|
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.