pub const clingo_warning_e_clingo_warning_runtime_error: clingo_warning_e = 1;
Expand description
!< to report multiple errors; a corresponding runtime error is raised later
pub const clingo_warning_e_clingo_warning_runtime_error: clingo_warning_e = 1;
!< to report multiple errors; a corresponding runtime error is raised later