Namespace ClingoSharp

Classes

Clingo

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

Control

Control object for the grounding/solving process.

MessageCode

Enumeration of the different types of messages.

Model

Provides access to a model during a solve call and provides a SolveControl object to provided limited support to influence the running search.

ModelType

Enumeration of the different types of models.

SolveControl

Object that allows for controlling a running search.

SolveHandle

Handle for solve calls.

SolveResult

Captures the result of a solve call.

StatisticsMap

Object to capture statistics stored in a map.

Symbol

Represents a gringo symbol. This includes numbers, strings, functions (including constants with len(arguments) == 0 and tuples with len(name) == 0), #inf and #sup.

SymbolicAtom

SymbolicAtomIterator

SymbolicAtoms

SymbolType

Enumeration of the different types of symbols.

Structs

Union<T1, T2>

Represents a union of two types