Clingo.Raw.Basic

errorString

errorCode

errorMessage

setError

warningString

version