CallbackAST | Clingo.Raw.AST, Clingo.Raw |
CallbackEvent | Clingo.Raw.Types, Clingo.Raw |
CallbackFinish | Clingo.Raw.Types, Clingo.Raw |
CallbackGround | Clingo.Raw.Types, Clingo.Raw |
CallbackPropagatorCheck | Clingo.Raw.Types, Clingo.Raw |
CallbackPropagatorInit | Clingo.Raw.Types, Clingo.Raw |
CallbackPropagatorPropagate | Clingo.Raw.Types, Clingo.Raw |
CallbackPropagatorUndo | Clingo.Raw.Types, Clingo.Raw |
CallbackSymbol | Clingo.Raw.Types, Clingo.Raw |
CArray | Clingo.Configuration, Clingo |
CautiousConsequences | |
1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
2 (Data Constructor) | Clingo.Model, Clingo |
CBool | Clingo.Raw.Types, Clingo.Raw |
CBoth | Clingo.Configuration, Clingo |
checkAndThrow | Clingo.Internal.Utils |
CKey | Clingo.Internal.Configuration |
Clause | |
1 (Type/Class) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
ClauseLearnt | |
1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
ClauseStatic | |
1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
ClauseType | |
1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
2 (Type/Class) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
ClauseVolatile | |
1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
ClauseVolatileStatic | Clingo.Raw.Enums, Clingo.Raw |
cleanup | Clingo.Control, Clingo |
Clingo | |
1 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.Control, Clingo |
2 (Data Constructor) | Clingo.Internal.Types |
clingo | Clingo.Internal.Types |
clingoArgs | Clingo.Control, Clingo |
ClingoError | Clingo.Raw.Enums, Clingo.Raw |
ClingoException | Clingo.Internal.Utils |
clingoLogger | Clingo.Control, Clingo |
ClingoSetting | |
1 (Type/Class) | Clingo.Control, Clingo |
2 (Data Constructor) | Clingo.Control, Clingo |
ClingoWarning | |
1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
2 (Type/Class) | Clingo.Internal.Utils, Clingo.Symbol, Clingo.Control, Clingo |
3 (Data Constructor) | Clingo.Internal.Utils |
CMap | Clingo.Configuration, Clingo |
Comparison | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
ComparisonOperator | Clingo.Internal.AST, Clingo.AST |
ConditionalLiteral | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
ConfigArray | Clingo.Raw.Enums, Clingo.Raw |
ConfigMap | Clingo.Raw.Enums, Clingo.Raw |
Configuration | |
1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Configuration |
4 (Data Constructor) | Clingo.Internal.Types |
configuration | Clingo.Control, Clingo |
configurationArrayAt | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationArraySize | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationDescription | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationMapAt | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationMapSize | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationMapSubkeyName | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationRoot | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
ConfigurationType | |
1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
2 (Type/Class) | Clingo.Internal.Configuration |
configurationType | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationValueGet | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationValueGetSize | Clingo.Raw.Configuration, Clingo.Raw |
configurationValueIsAssigned | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
configurationValueSet | |
1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
2 (Function) | Clingo.Internal.Configuration |
ConfigValue | Clingo.Raw.Enums, Clingo.Raw |
ConfTree | Clingo.Configuration, Clingo |
contains | Clingo.Model, Clingo |
context | Clingo.Model, Clingo |
Continue | |
1 (Data Constructor) | Clingo.Internal.Propagation |
2 (Type/Class) | Clingo.Control, Clingo |
3 (Data Constructor) | Clingo.Control, Clingo |
Control | |
1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
controlAdd | Clingo.Raw.Control, Clingo.Raw |
controlAssignExternal | Clingo.Raw.Control, Clingo.Raw |
controlBackend | Clingo.Raw.Control, Clingo.Raw |
controlClaspFacade | Clingo.Raw.Control, Clingo.Raw |
controlCleanup | Clingo.Raw.Control, Clingo.Raw |
controlConfiguration | Clingo.Raw.Control, Clingo.Raw |
controlFree | Clingo.Raw.Control, Clingo.Raw |
controlGetConst | Clingo.Raw.Control, Clingo.Raw |
controlGround | Clingo.Raw.Control, Clingo.Raw |
controlHasConst | Clingo.Raw.Control, Clingo.Raw |
controlInterrupt | Clingo.Raw.Control, Clingo.Raw |
controlLoad | Clingo.Raw.Control, Clingo.Raw |
controlNew | Clingo.Raw.Control, Clingo.Raw |
controlProgramBuilder | Clingo.Raw.Control, Clingo.Raw |
controlRegisterObserver | Clingo.Raw.Control, Clingo.Raw |
controlRegisterPropagator | Clingo.Raw.Control, Clingo.Raw |
controlReleaseExternal | Clingo.Raw.Control, Clingo.Raw |
controlSolve | Clingo.Raw.Control, Clingo.Raw |
controlStatistics | Clingo.Raw.Control, Clingo.Raw |
controlSymbolicAtoms | Clingo.Raw.Control, Clingo.Raw |
controlTheoryAtoms | Clingo.Raw.Control, Clingo.Raw |
controlUseEnumAssumption | Clingo.Raw.Control, Clingo.Raw |
costVector | Clingo.Model, Clingo |
Count | Clingo.Internal.AST, Clingo.AST |
countThreads | |
1 (Function) | Clingo.Internal.Propagation |
2 (Function) | Clingo.Propagation, Clingo |
createFunction | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createFunction' | Clingo.Internal.Symbol |
createId | Clingo.Symbol, Clingo |
createInfimum | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createInfimum' | Clingo.Internal.Symbol |
createNumber | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createNumber' | Clingo.Internal.Symbol |
createSignature | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createSignature' | Clingo.Internal.Symbol |
createString | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createString' | Clingo.Internal.Symbol |
createSupremum | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
createSupremum' | Clingo.Internal.Symbol |
CspGuard | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
CspLiteral | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
CspProductTerm | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
CspSumTerm | |
1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
CType | Clingo.Internal.Configuration |
CValue | Clingo.Configuration, Clingo |