Enum WarningCode
Enumeration of warning codes
Namespace: ClingoSharp.CoreServices.Enums
Assembly: ClingoSharp.CoreServices.dll
Syntax
public enum WarningCodeFields
| Name | Description |
|---|---|
| AtomUndefined | undefined atom in program |
| FileIncluded | same file included multiple times |
| GlobalVariable | global variable in tuple of aggregate element |
| OperationUndefined | undefined arithmetic operation or weight of aggregate |
| Other | other kinds of warnings |
| RuntimeError | to report multiple errors; a corresponding runtime error is raised later |
| VariableUnbounded | CSP variable with unbounded domain |