Interface IMainModule
Functions used throughout all modules and version information
Namespace: ClingoSharp.CoreServices.Interfaces.Modules
Assembly: ClingoSharp.CoreServices.dll
Syntax
public interface IMainModule : IClingoModule
Methods
| Improve this Doc View SourceGetErrorCode()
Gets the last error code set by a clingo API call
Declaration
ErrorCode GetErrorCode()
Returns
Type | Description |
---|---|
ErrorCode | A ErrorCode enumeration |
GetErrorMessage()
Gets the last error message set if an API call fails.
Declaration
string GetErrorMessage()
Returns
Type | Description |
---|---|
System.String | An error message or |
GetVersion()
Obtains the clingo version as string
Declaration
string GetVersion()
Returns
Type | Description |
---|---|
System.String | A string in format |