Show / Hide Table of Contents

Enum SymbolType

Enumeration of available symbol types

Namespace: ClingoSharp.CoreServices.Enums
Assembly: ClingoSharp.CoreServices.dll
Syntax
public enum SymbolType

Fields

Name Description
Function

a function symbol, e.g., c, (1, "a"), or f(1,"a")

Infimum

the #inf symbol

Number

a numeric symbol, e.g., 1

String

a numeric symbol, e.g., "a"

Supremum

the #sup symbol

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