Index - S
| SArray | Clingo.Statistics, Clingo |
| Satisfiable | Clingo.Internal.Types, Clingo.Control, Clingo |
| Script | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ScriptType | Clingo.Internal.AST, Clingo.AST |
| selectAll | Clingo.Model, Clingo |
| selectAtoms | Clingo.Model, Clingo |
| selectCSP | Clingo.Model, Clingo |
| selectExtra | Clingo.Model, Clingo |
| selectNone | Clingo.Model, Clingo |
| selectShown | Clingo.Model, Clingo |
| selectTerms | Clingo.Model, Clingo |
| setError | Clingo.Raw.Basic, Clingo.Raw |
| SetTerm | Clingo.Inspection.Theory |
| ShowAll | Clingo.Raw.Enums, Clingo.Raw |
| ShowAtoms | Clingo.Raw.Enums, Clingo.Raw |
| ShowComplement | Clingo.Raw.Enums, Clingo.Raw |
| ShowCSP | Clingo.Raw.Enums, Clingo.Raw |
| ShowExtra | Clingo.Raw.Enums, Clingo.Raw |
| ShowFlag | Clingo.Raw.Enums, Clingo.Raw |
| ShowShown | Clingo.Raw.Enums, Clingo.Raw |
| ShowSignature | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ShowTerm | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ShowTerms | Clingo.Raw.Enums, Clingo.Raw |
| sigArity | Clingo.Internal.Types |
| sigHash | Clingo.Internal.Types |
| Sign | Clingo.Internal.AST, Clingo.AST |
| sigName | Clingo.Internal.Types |
| Signature | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.AST, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| signatureArity | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureArity' | Clingo.Internal.Symbol |
| signatureCreate | Clingo.Raw.Symbol, Clingo.Raw |
| signatureHash | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureHash' | Clingo.Internal.Symbol |
| signatureIsEqualTo | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsLessThan | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsNegative | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsPositive | Clingo.Raw.Symbol, Clingo.Raw |
| signatureName | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureName' | Clingo.Internal.Symbol |
| Signed | Clingo.Internal.Types, Clingo.Symbol, Clingo.Propagation, Clingo |
| SIterator | Clingo.Internal.Inspection.Symbolic |
| SKey | Clingo.Internal.Statistics |
| slitPositive | Clingo.Raw.Types, Clingo.Raw |
| slitSymbol | Clingo.Raw.Types, Clingo.Raw |
| SLNegative | Clingo.Internal.Types, Clingo.Control, Clingo |
| SLPositive | Clingo.Internal.Types, Clingo.Control, Clingo |
| SMap | Clingo.Statistics, Clingo |
| solve | Clingo.Control, Clingo |
| SolveControl | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Model, Clingo |
| solveControlAddClause | Clingo.Raw.Model, Clingo.Raw |
| SolveEvent | Clingo.Raw.Enums, Clingo.Raw |
| SolveEventFinish | Clingo.Raw.Enums, Clingo.Raw |
| SolveEventModel | Clingo.Raw.Enums, Clingo.Raw |
| SolveHandle | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| solveHandleCancel | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleClose | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleGet | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleModel | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleResume | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleWait | Clingo.Raw.Solving, Clingo.Raw |
| SolveMode | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| SolveModeAsync | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Control, Clingo |
| SolveModeYield | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Control, Clingo |
| Solver | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| 2 (Data Constructor) | Clingo.Internal.Types |
| solverCancel | Clingo.Solving, Clingo |
| solverClose | Clingo.Solving, Clingo |
| SolveResult | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| solverLiteral | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| solverResume | Clingo.Solving, Clingo |
| solverWait | Clingo.Solving, Clingo |
| Solving | Clingo.Propagation, Clingo |
| StableModel | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| Statement | Clingo.Internal.AST, Clingo.AST |
| StateVar | Clingo.Configuration, Clingo |
| Statistics | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Statistics |
| 4 (Data Constructor) | Clingo.Internal.Types |
| statistics | Clingo.Control, Clingo |
| statisticsArrayAt | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsArraySize | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapAt | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapSize | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapSubkeyName | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsRoot | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| StatisticsType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Statistics |
| statisticsType | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsValueGet | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| StatsArray | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsEmpty | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsMap | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsTree | Clingo.Statistics, Clingo |
| StatsValue | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StmtDefinition | Clingo.Internal.AST, Clingo.AST |
| StmtEdge | Clingo.Internal.AST, Clingo.AST |
| StmtExternal | Clingo.Internal.AST, Clingo.AST |
| StmtHeuristic | Clingo.Internal.AST, Clingo.AST |
| StmtMinimize | Clingo.Internal.AST, Clingo.AST |
| StmtProgram | Clingo.Internal.AST, Clingo.AST |
| StmtProject | Clingo.Internal.AST, Clingo.AST |
| StmtRule | Clingo.Internal.AST, Clingo.AST |
| StmtScript | Clingo.Internal.AST, Clingo.AST |
| StmtShowSignature | Clingo.Internal.AST, Clingo.AST |
| StmtShowTerm | Clingo.Internal.AST, Clingo.AST |
| StmtSignature | Clingo.Internal.AST, Clingo.AST |
| StmtTheoryDefinition | Clingo.Internal.AST, Clingo.AST |
| Stop | |
| 1 (Data Constructor) | Clingo.Internal.Propagation |
| 2 (Data Constructor) | Clingo.Control, Clingo |
| subStats | Clingo.Statistics, Clingo |
| Sum | Clingo.Internal.AST, Clingo.AST |
| Sump | Clingo.Internal.AST, Clingo.AST |
| SValue | Clingo.Statistics, Clingo |
| symArgs | Clingo.Internal.Types |
| Symbol | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.AST, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| symbol | Clingo.Inspection.Symbolic |
| symbolArguments | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolArguments' | Clingo.Internal.Symbol |
| symbolCreateFunction | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateId | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateInfimum | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateNumber | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateString | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateSupremum | Clingo.Raw.Symbol, Clingo.Raw |
| symbolGetArg | Clingo.Symbol, Clingo |
| symbolHash | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolHash' | Clingo.Internal.Symbol |
| SymbolicAtom | |
| 1 (Type/Class) | Clingo.Inspection.Symbolic |
| 2 (Data Constructor) | Clingo.Inspection.Symbolic |
| SymbolicAtomIterator | Clingo.Raw.Types, Clingo.Raw |
| SymbolicAtoms | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Inspection.Symbolic, Clingo.Inspection.Symbolic |
| 4 (Data Constructor) | Clingo.Internal.Types |
| symbolicAtoms | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Control, Clingo |
| symbolicAtomsBegin | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsEnd | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsFind | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsExternal | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsFact | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsValid | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIteratorEq | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIteratorIsEqualTo | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| symbolicAtomsLiteral | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsNext | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsSignatures | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic, Clingo.Inspection.Symbolic |
| symbolicAtomsSignaturesSize | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| symbolicAtomsSize | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsSymbol | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| SymbolicLiteral | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Model, Clingo.Control, Clingo |
| symbolIsEqualTo | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsLessThan | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsNegative | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsPositive | Clingo.Raw.Symbol, Clingo.Raw |
| symbolName | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolName' | Clingo.Internal.Symbol |
| symbolNumber | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolNumber' | Clingo.Internal.Symbol |
| SymbolSelection | |
| 1 (Type/Class) | Clingo.Model, Clingo |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| symbolString | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolString' | Clingo.Internal.Symbol |
| SymbolTerm | Clingo.Inspection.Theory |
| symbolToString | Clingo.Raw.Symbol, Clingo.Raw |
| symbolToStringSize | Clingo.Raw.Symbol, Clingo.Raw |
| SymbolType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Symbol, Clingo |
| 3 (Data Constructor) | Clingo.Symbol, Clingo |
| symbolType | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| SymFunction | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symHash | Clingo.Internal.Types |
| SymInfimum | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symName | Clingo.Internal.Types |
| symNum | Clingo.Internal.Types |
| SymNumber | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symPretty | Clingo.Internal.Types |
| SymString | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symString | Clingo.Internal.Types |
| SymSupremum | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symType | Clingo.Internal.Types |