clingo-0.2.0.0: Haskell bindings to the Clingo ASP solver

Index - C

CallbackASTClingo.Raw.AST, Clingo.Raw
CallbackEventClingo.Raw.Types, Clingo.Raw
CallbackFinishClingo.Raw.Types, Clingo.Raw
CallbackGroundClingo.Raw.Types, Clingo.Raw
CallbackPropagatorCheckClingo.Raw.Types, Clingo.Raw
CallbackPropagatorInitClingo.Raw.Types, Clingo.Raw
CallbackPropagatorPropagateClingo.Raw.Types, Clingo.Raw
CallbackPropagatorUndoClingo.Raw.Types, Clingo.Raw
CallbackSymbolClingo.Raw.Types, Clingo.Raw
CArrayClingo.Configuration, Clingo
CautiousConsequences 
1 (Data Constructor)Clingo.Raw.Enums, Clingo.Raw
2 (Data Constructor)Clingo.Model, Clingo
CBoolClingo.Raw.Types, Clingo.Raw
CBothClingo.Configuration, Clingo
checkAndThrowClingo.Internal.Utils
CKeyClingo.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
ClauseVolatileStaticClingo.Raw.Enums, Clingo.Raw
cleanupClingo.Control, Clingo
Clingo 
1 (Type/Class)Clingo.Internal.Types, Clingo.Symbol, Clingo.Control, Clingo
2 (Data Constructor)Clingo.Internal.Types
clingoClingo.Internal.Types
clingoArgsClingo.Control, Clingo
ClingoErrorClingo.Raw.Enums, Clingo.Raw
ClingoExceptionClingo.Internal.Utils
clingoLoggerClingo.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
CMapClingo.Configuration, Clingo
Comparison 
1 (Type/Class)Clingo.Internal.AST, Clingo.AST
2 (Data Constructor)Clingo.Internal.AST, Clingo.AST
ComparisonOperatorClingo.Internal.AST, Clingo.AST
ConditionalLiteral 
1 (Type/Class)Clingo.Internal.AST, Clingo.AST
2 (Data Constructor)Clingo.Internal.AST, Clingo.AST
ConfigArrayClingo.Raw.Enums, Clingo.Raw
ConfigMapClingo.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
configurationClingo.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
configurationValueGetSizeClingo.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
ConfigValueClingo.Raw.Enums, Clingo.Raw
ConfTreeClingo.Configuration, Clingo
containsClingo.Model, Clingo
contextClingo.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
controlAddClingo.Raw.Control, Clingo.Raw
controlAssignExternalClingo.Raw.Control, Clingo.Raw
controlBackendClingo.Raw.Control, Clingo.Raw
controlClaspFacadeClingo.Raw.Control, Clingo.Raw
controlCleanupClingo.Raw.Control, Clingo.Raw
controlConfigurationClingo.Raw.Control, Clingo.Raw
controlFreeClingo.Raw.Control, Clingo.Raw
controlGetConstClingo.Raw.Control, Clingo.Raw
controlGroundClingo.Raw.Control, Clingo.Raw
controlHasConstClingo.Raw.Control, Clingo.Raw
controlInterruptClingo.Raw.Control, Clingo.Raw
controlLoadClingo.Raw.Control, Clingo.Raw
controlNewClingo.Raw.Control, Clingo.Raw
controlProgramBuilderClingo.Raw.Control, Clingo.Raw
controlRegisterObserverClingo.Raw.Control, Clingo.Raw
controlRegisterPropagatorClingo.Raw.Control, Clingo.Raw
controlReleaseExternalClingo.Raw.Control, Clingo.Raw
controlSolveClingo.Raw.Control, Clingo.Raw
controlStatisticsClingo.Raw.Control, Clingo.Raw
controlSymbolicAtomsClingo.Raw.Control, Clingo.Raw
controlTheoryAtomsClingo.Raw.Control, Clingo.Raw
controlUseEnumAssumptionClingo.Raw.Control, Clingo.Raw
costVectorClingo.Model, Clingo
CountClingo.Internal.AST, Clingo.AST
countThreads 
1 (Function)Clingo.Internal.Propagation
2 (Function)Clingo.Propagation, Clingo
createFunctionClingo.Internal.Symbol, Clingo.Symbol, Clingo
createFunction'Clingo.Internal.Symbol
createIdClingo.Symbol, Clingo
createInfimumClingo.Internal.Symbol, Clingo.Symbol, Clingo
createInfimum'Clingo.Internal.Symbol
createNumberClingo.Internal.Symbol, Clingo.Symbol, Clingo
createNumber'Clingo.Internal.Symbol
createSignatureClingo.Internal.Symbol, Clingo.Symbol, Clingo
createSignature'Clingo.Internal.Symbol
createStringClingo.Internal.Symbol, Clingo.Symbol, Clingo
createString'Clingo.Internal.Symbol
createSupremumClingo.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
CTypeClingo.Internal.Configuration
CValueClingo.Configuration, Clingo