Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Represents a source code location marking its beginnig and end.
Public Attributes | |
char const * | begin_file |
the file where the location begins | |
char const * | end_file |
the file where the location ends | |
size_t | begin_line |
the line where the location begins | |
size_t | end_line |
the line where the location ends | |
size_t | begin_column |
the column where the location begins | |
size_t | end_column |
the column where the location ends | |