Class Clingo

The clingo-5.4.0 module. This module provides functions and classes to control the grounding and solving process.

Inheritance
System.Object
Clingo
Inherited Members
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.ToString()
Namespace: ClingoSharp
Assembly: ClingoSharp.dll
Syntax
public static class Clingo

Properties

| Improve this Doc View Source

Version

Version of the clingo module ('5.4.0')

Declaration
public static string Version { get; }
Property Value
Type Description
System.String

Methods

| Improve this Doc View Source

GetMainModule()

Gets the main module in clingo

Declaration
public static IMainModule GetMainModule()
Returns
Type Description
IMainModule

The the main module
| Improve this Doc View Source

GetModule()

Gets the asociated API module in clingo

Declaration
public static IClingoModule GetModule()
Returns
Type Description
IClingoModule

The asociated module