Namespace ClingoSharp.CoreServices.Types

Classes

Atom

Unsigned integer type used for aspif atoms.

Control

Control object holding grounding and solving state

Id

Unsigned integer type used in various places.

Literal

Signed integer type used for aspif and solver literals.

Location

Represents a source code location marking its beginnig and end.

Part

Struct used to specify the program parts that have to be grounded.

Programs may be structured into parts, which can be grounded independently with Ground(Control, Part[], GroundCallback). Program parts are mainly interesting for incremental grounding and multi-shot solving. For single-shot solving, program parts are not needed.

Signature

Represents a predicate signature.

Signatures have a name and an arity, and can be positive or negative(to represent classical negation).

SolveControl

Object to add clauses during search.

SolveHandle

Search handle to a solve call.

Symbol

Represents a symbol.

This includes numbers, strings, functions (including constants when arguments are empty and tuples when the name is empty), #inf and #sup.

SymbolicAtomIterator

Object to iterate over symbolic atoms.

Such an iterator either points to a symbolic atom within a sequence of symbolic atoms or to the end of the sequence.

SymbolicAtoms

Object to inspect symbolic atoms in a program—the relevant Herbrand base gringo uses to instantiate programs.

TruthValue

Weight

Signed integer type for weights in sum aggregates and minimize constraints.