Show / Hide Table of Contents

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 Source

GetErrorCode()

Gets the last error code set by a clingo API call

Declaration
ErrorCode GetErrorCode()
Returns
Type Description
ErrorCode

A ErrorCode enumeration

| Improve this Doc View Source

GetErrorMessage()

Gets the last error message set if an API call fails.

Declaration
string GetErrorMessage()
Returns
Type Description
System.String

An error message or null

| Improve this Doc View Source

GetVersion()

Obtains the clingo version as string

Declaration
string GetVersion()
Returns
Type Description
System.String

A string in format mayor.minor.revision

  • Improve this Doc
  • View Source
Back to top Generated by DocFX