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