Index - S
| S | GUI.HTkUtils |
| S2 | |
| 1 (Type/Class) | Logic.Morphism |
| 2 (Data Constructor) | Logic.Morphism |
| safeContextDG | Static.DevGraph |
| safeTail | CMDL.Utils |
| Same | OWL2.AS |
| sameArity | CASL.Kif2CASL |
| sameAsC | OWL2.ColonKeywords |
| sameAsS | OWL2.Keywords |
| SameAsSection | OWL2.PrintMS |
| SameIndividual | OWL2.AS |
| SameIndividualAtom | OWL2.AS |
| sameIndividualAtomK | OWL2.XMLKeywords |
| sameIndividualAtomS | OWL2.ASKeywords |
| sameIndividualC | OWL2.ColonKeywords |
| sameIndividualK | OWL2.XMLKeywords |
| sameIndividualS | OWL2.ASKeywords |
| SameIndividualSection | OWL2.PrintMS |
| sameIndsAxiomsToMFDoc | OWL2.PrintMS |
| sameKind | Maude.Symbol |
| sameOpArity | CASL.Kif2CASL |
| sameOpsApp | CASL.CCC.TermFormula |
| sameOpSymbs | CASL.CCC.TermFormula |
| sameOpTypes | CASL.CCC.TermFormula |
| SameOrDifferent | OWL2.AS |
| sameOrDifferent | OWL2.Parse |
| sameOrDifferentIndu | OWL2.Parse |
| sameProperty | CSMOF.Parser |
| sameType | HasCASL.PrintAs |
| SAP | TPTP.AS |
| Sap | THF.As |
| SAT | TPTP.AS |
| Sat | THF.As |
| satallax | TPTP.Prover.Satallax |
| satallaxProver | THF.ProveSatallax |
| Satisfiable | SoftFOL.MathServParsing |
| SATURATE | SoftFOL.Sign |
| save2file | Interfaces.DataTypes |
| Save2FileChange | Interfaces.DataTypes |
| SaveAsMenuOption | GUI.UDGUtils |
| saveasS | CSL.Keywords |
| saveConsCheckersInState | CMDL.Interface |
| saveDiagnoses | Persistence.Diagnosis |
| SaveMenuOption | GUI.UDGUtils |
| saveProofStatus | GUI.GraphLogic |
| savestructrS | CSL.Keywords |
| saveToDatabase | Persistence.Reasoning.PremiseSelectionSInE |
| saveUDGraph | GUI.GraphLogic |
| SaxEvL | Common.SAX |
| SA_ccons | Common.AS_Annotation |
| SA_cons | Common.AS_Annotation |
| SA_def | Common.AS_Annotation |
| SA_implied | Common.AS_Annotation |
| SA_implies | Common.AS_Annotation |
| SA_mcons | Common.AS_Annotation |
| SA_mono | Common.AS_Annotation |
| SA_wdef | Common.AS_Annotation |
| SCA | TPTP.AS |
| Sca | THF.As |
| scalarprod3 | FreeCAD.VecTools |
| scalarS | CSL.Keywords |
| Scale | GUI.HTkUtils |
| scaleItem | GUI.HTkUtils |
| ScaleValue | GUI.HTkUtils |
| scanAnySigns | Common.Lexer |
| scanAnyWords | Common.Lexer |
| scanClSymbol | CommonLogic.Parse_CLIF |
| scanClWord | CommonLogic.Lexer_CLIF |
| scanDigit | Common.Lexer |
| scanDot | Common.Lexer |
| scanDotWords | Common.Lexer |
| scanDragTo | GUI.HTkUtils |
| scanFloat | Common.Lexer |
| scanFloatExt | Common.Lexer |
| scanHCSigns | HasCASL.HToken |
| scanHCWords | HasCASL.HToken |
| scanLetterWord | Common.Lexer |
| scanLiteral | CASL.Kif |
| scanLPD | Common.Lexer |
| scanMark | GUI.HTkUtils |
| scanQuotedChar | Common.Lexer |
| scanRules | Common.Earley |
| scanSeqMark | CommonLogic.Lexer_CLIF |
| scanString | |
| 1 (Function) | Common.Lexer |
| 2 (Function) | CASL.Kif |
| scanUnderlineWord | Common.Lexer |
| SCC | TPTP.AS |
| Scc | THF.As |
| sccOfClosure | Common.Lib.Rel |
| SColumn | RelationalScheme.Sign |
| SColumnK | RelationalScheme.Sign |
| Scope | Static.DgUtils |
| ScopedLink | Static.DevGraph |
| Screen | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| screen | GUI.HTkUtils |
| screenToCanvasCoord | GUI.HTkUtils |
| script | Interfaces.DataTypes |
| ScriptChange | Interfaces.DataTypes |
| scroll | GUI.HTkUtils |
| ScrollBar | GUI.HTkUtils |
| scrollbar | GUI.HTkUtils |
| ScrollBarElem | GUI.HTkUtils |
| ScrollBarSlider | GUI.HTkUtils |
| ScrollBox | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| scrollIncrement | GUI.HTkUtils |
| ScrollRegion | GUI.HTkUtils |
| scrollRegion | GUI.HTkUtils |
| ScrollUnit | GUI.HTkUtils |
| SDECL | DFOL.AS_DFOL |
| sDims | CASL.Sublogic |
| SDRelation | OWL2.AS |
| SE | GUI.HTkUtils |
| search | GUI.HTkUtils |
| SearchDirection | GUI.HTkUtils |
| searchdirection | GUI.HTkUtils |
| SearchMode | GUI.HTkUtils |
| searchmode | GUI.HTkUtils |
| SearchSpec | GUI.HTkUtils |
| SearchSwitch | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| sechS | CSL.Keywords |
| secondS | CSL.Keywords |
| secondTerm | Isabelle.IsaSign |
| secS | CSL.Keywords |
| Section | FreeCAD.As |
| seeAlso | OWL2.Keywords |
| sees | CoCASL.CoCASLSign |
| SeeSource | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| SeeTarget | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| SegmentedCanvasItem | GUI.HTkUtils |
| Select | HasCASL.Le |
| selectAllRows | GUI.GtkUtils |
| selectANode | CMDL.DgCommands |
| SelectCmd | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Type/Class) | Interfaces.Command |
| selectCmdList | Interfaces.Command |
| selectCmdNameStr | Interfaces.Command |
| SelectData | HasCASL.Le |
| selected | |
| 1 (Function) | GUI.GtkConsistencyChecker |
| 2 (Function) | GUI.GtkAutomaticProofs |
| selectedConsChecker | Proofs.AbstractState |
| selectedGoals | Proofs.AbstractState |
| selectedPremiseNames | Persistence.Reasoning.PremiseSelectionSInE |
| selectedPremises | |
| 1 (Function) | PGIP.GraphQL.Result.PremiseSelection |
| 2 (Function) | Persistence.Reasoning.PremiseSelectionSInE |
| selectedProver | Proofs.AbstractState |
| selectedTheory | Proofs.AbstractState |
| selectFirst | GUI.GtkUtils |
| Selection | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| selection | GUI.HTkUtils |
| selectionAnchor | GUI.HTkUtils |
| selectionRange | GUI.HTkUtils |
| SelectMode | GUI.HTkUtils |
| selectMode | GUI.HTkUtils |
| Selector | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Type/Class) | HasCASL.Le |
| selectProofBasis | Proofs.EdgeUtils |
| selectProofBasisAux | Proofs.EdgeUtils |
| selectRetValAndProofStatus | TPTP.Prover.Common |
| selectS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | Common.XUpdate |
| Self | Common.XPath |
| selForms | CASL.StaticAna |
| selForms1 | CASL.StaticAna |
| selfS | OWL2.Keywords |
| semanticUiCss | PGIP.Server.WebAssets |
| semanticUiJs | PGIP.Server.WebAssets |
| Semantic_anno | |
| 1 (Data Constructor) | Common.AS_Annotation |
| 2 (Type/Class) | Common.AS_Annotation |
| semantic_anno_table | Common.AS_Annotation |
| semi | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| semiAnnos | Common.DocUtils |
| semiAnnoted | HasCASL.PrintAs |
| semiDs | HasCASL.PrintAs |
| SemiLatticeWithTop | Logic.Logic |
| semiOrComma | Common.AnnoState |
| semis | Common.Lexer |
| semiT | Common.Lexer |
| SemiTable | |
| 1 (Type/Class) | Common.Lib.Tabular |
| 2 (Data Constructor) | Common.Lib.Tabular |
| Sen | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | CSMOF.Sign |
| 3 (Type/Class) | Adl.Sign |
| 4 (Type/Class) | QVTR.Sign |
| SenAttr | |
| 1 (Type/Class) | Common.AS_Annotation |
| 2 (Data Constructor) | Common.AS_Annotation |
| senAttr | Common.AS_Annotation |
| send | GUI.HTkUtils |
| sendIO | GUI.HTkUtils |
| sendMSGData | PGIP.XMLstate |
| sendMyMsg | VSE.Prove |
| sendNamedObj | FreeCAD.XMLPrinter |
| sendPGIPData | PGIP.XMLstate |
| sendToReduce | CSL.Reduce_Interface |
| senMark | Common.AS_Annotation |
| senMod | Static.DgUtils |
| senName | Common.AS_Annotation |
| SenOrigin | |
| 1 (Type/Class) | Common.AS_Annotation |
| 2 (Data Constructor) | Common.AS_Annotation |
| senOrigin | Common.AS_Annotation |
| sens | Adl.StatAna |
| SenStatus | Logic.Prover |
| sensWithKind | Static.DevGraph |
| SENTENCE | CommonLogic.AS_CommonLogic |
| Sentence | |
| 1 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 2 (Type/Class) | HasCASL.Le |
| 3 (Type/Class) | HolLight.Sentence |
| 4 (Data Constructor) | HolLight.Sentence |
| 5 (Type/Class) | Isabelle.IsaSign |
| 6 (Data Constructor) | Isabelle.IsaSign |
| 7 (Type/Class) | LF.Sign |
| 8 (Type/Class) | Maude.Sentence |
| 9 (Type/Class) | PGIP.GraphQL.Result.Sentence |
| 10 (Type/Class) | Persistence.Schema |
| 11 (Data Constructor) | Persistence.Schema |
| 12 (Type/Class) | RelationalScheme.AS |
| 13 (Type/Class) | SoftFOL.Sign |
| 14 (Type/Class) | TPTP.Sign |
| 15 (Type/Class) | HetsAPI.DataTypes |
| 16 (Type/Class) | VSE.As |
| sentence | |
| 1 (Function) | Common.AS_Annotation |
| 2 (Function) | CommonLogic.Parse_KIF |
| 3 (Function) | CommonLogic.Parse_CLIF |
| sentence2 | Logic.Morphism |
| SentenceFileRangeId | Persistence.Schema |
| sentenceFileRangeId | Persistence.Schema |
| SentenceId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SentenceKey | Persistence.Schema |
| SentenceName | Persistence.Schema |
| sentenceName | Persistence.Schema |
| SentenceOmsId | Persistence.Schema |
| sentenceOmsId | Persistence.Schema |
| SentenceOriginalSentenceId | Persistence.Schema |
| sentenceOriginalSentenceId | Persistence.Schema |
| Sentences | |
| 1 (Type/Class) | Maude.Sign |
| 2 (Type/Class) | Logic.Logic |
| sentences | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | HasCASL.Le |
| 3 (Function) | Maude.Sign |
| 4 (Function) | PGIP.GraphQL.Result.OMS |
| 5 (Function) | OMDoc.Import |
| SentenceSymbol | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SentenceSymbolId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SentenceSymbolKey | Persistence.Schema |
| sentenceSymbolKeysentenceId | Persistence.Schema |
| sentenceSymbolKeysymbolId | Persistence.Schema |
| SentenceSymbolSentenceId | Persistence.Schema |
| sentenceSymbolSentenceId | Persistence.Schema |
| SentenceSymbolSymbolId | Persistence.Schema |
| sentenceSymbolSymbolId | Persistence.Schema |
| SentenceText | Persistence.Schema |
| sentenceText | Persistence.Schema |
| sentenceToSExpr | VSE.ToSExpr |
| senTerm | Isabelle.IsaSign |
| senToSExpr | VSE.ToSExpr |
| senTransl | DFOL.Comorphism |
| sen_analysis | Logic.Logic |
| sen_type_exp | LF.Analysis |
| sen_type_symbol | LF.Framework |
| sep | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| separatedBy | Common.Lexer |
| separateTopFromNonTop | QVTR.StatAna |
| separator | SoftFOL.PrintTPTP |
| SeparatorKind | HasCASL.As |
| sepBy | THF.PrintTHF |
| sepByComma | |
| 1 (Function) | LF.MorphParser |
| 2 (Function) | OWL2.ParseMS |
| 3 (Function) | OWL2.Parse |
| sepByCommas | |
| 1 (Function) | Common.Doc |
| 2 (Function) | RDF.Print |
| sepBySemis | |
| 1 (Function) | Common.Doc |
| 2 (Function) | RDF.Print |
| sepHoriz | Framework.WriteLogicUtils |
| sepTabVert | Framework.WriteLogicUtils |
| Seq | |
| 1 (Data Constructor) | CspCASL.Print_CspCASL |
| 2 (Data Constructor) | VSE.As |
| SeqMark | CommonLogic.AS_CommonLogic |
| seqmark | CommonLogic.Lexer_CLIF |
| seqNb | PGIP.XMLstate |
| seqSource | GUI.UDGUtils |
| Sequence | CSL.AS_BASIC_CSL |
| sequenceExpr | CSL.Parse_AS_Basic |
| sequenceMarkers | CommonLogic.Sign |
| sequenceSimpleSource | GUI.UDGUtils |
| Sequential | CspCASL.AS_CspCASL_Process |
| sequential | Common.Doc |
| sequentialS | Common.Keywords |
| SEQ_MARK | CommonLogic.AS_CommonLogic |
| Seq_marks | CommonLogic.AS_CommonLogic |
| Serialization | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Serialization |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Serialization |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| serialization | PGIP.GraphQL.Result.OMS |
| SerializationId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SerializationKey | Persistence.Schema |
| SerializationLanguageId | Persistence.Schema |
| serializationLanguageId | Persistence.Schema |
| SerializationName | Persistence.Schema |
| serializationName | Persistence.Schema |
| SerializationResult | PGIP.GraphQL.Result |
| serializationS | Common.Keywords |
| serializations | Logic.KnownIris |
| SerializationSlug | Persistence.Schema |
| serializationSlug | Persistence.Schema |
| serializationToResult | PGIP.GraphQL.Resolver.ToResult |
| serPrefix | Logic.KnownIris |
| serve | Driver.Options |
| Service | Adl.As |
| sessCleanable | PGIP.Shared |
| Session | |
| 1 (Type/Class) | CSL.Reduce_Interface |
| 2 (Type/Class) | PGIP.Shared |
| 3 (Data Constructor) | PGIP.Shared |
| sessKey | PGIP.Shared |
| sessLibEnv | PGIP.Shared |
| sessLibName | PGIP.Shared |
| SessMap | PGIP.Shared |
| sessPath | PGIP.Shared |
| sessStart | PGIP.Shared |
| Set | |
| 1 (Data Constructor) | CSL.TreePO |
| 2 (Data Constructor) | Isabelle.IsaSign |
| set1Map | OWL2.XMLConversion |
| setAll | Common.Lib.MapSet |
| setAngles | Common.IRI |
| SetArcType | GUI.UDGUtils |
| setArcType | GUI.UDGUtils |
| setArcTypePrim | GUI.UDGUtils |
| setArcValue | GUI.UDGUtils |
| setArcValuePrim | GUI.UDGUtils |
| SetAxioms | Interfaces.Command |
| setBase | OWL2.XMLConversion |
| setBaseObjs | FreeCAD.Translator |
| setBitMapHandle | GUI.HTkUtils |
| setCoFeature | CoCASL.Sublogic |
| setColour | GUI.HTkUtils |
| setContent | OWL2.XMLConversion |
| setCurLogic | Logic.Grothendieck |
| setCurSublogic | Logic.Grothendieck |
| setDatatypePrefix | OWL2.AS |
| SetDecl | Isabelle.IsaSign |
| setDifference | Common.Lib.MapSet |
| setDt | OWL2.XMLConversion |
| setElems | Common.Lib.MapSet |
| setEntityTypeMap | OWL2.ColimSign |
| setFilePath | Common.LibName |
| setFileVersionState | Persistence.FileVersion |
| setFileVersionStateOn | Persistence.FileVersion |
| setFocus | GUI.HTkUtils |
| setgrid | GUI.HTkUtils |
| SETHEO | SoftFOL.Sign |
| setInputStr | Interfaces.Command |
| setInsert | Common.Lib.MapSet |
| setInt | OWL2.XMLConversion |
| setIRI | OWL2.XMLConversion |
| setLangTag | OWL2.XMLConversion |
| setListData | GUI.GtkUtils |
| setListSelectorMultiple | GUI.GtkUtils |
| setListSelectorSingle | GUI.GtkUtils |
| setLogicName | Syntax.AS_Structured |
| setLookup | Common.Lib.MapSet |
| setMark | GUI.HTkUtils |
| setMarkGravity | GUI.HTkUtils |
| setMember | Common.Lib.MapSet |
| setMimeType | Common.LibName |
| setModalities | ExtModal.Sublogic |
| setmodS | CSL.Keywords |
| setMorMapDG | Static.DevGraph |
| setName | OWL2.XMLConversion |
| SetNodeFocus | GUI.UDGUtils |
| setNodeFocus | GUI.UDGUtils |
| setNodeFocusPrim | GUI.UDGUtils |
| SetNodeLab | Static.DevGraph |
| setNodeType | GUI.UDGUtils |
| setNodeTypePrim | GUI.UDGUtils |
| setNodeValue | GUI.UDGUtils |
| setNodeValuePrim | GUI.UDGUtils |
| setOfConstsAndEPSpecs | CSL.ASUtils |
| setOfUserDefined | CSL.ASUtils |
| setOntIRI | OWL2.XMLConversion |
| setOntVersionIRI | OWL2.XMLConversion |
| setOpKind | CASL.Sign |
| SetOrdering | CSL.TreePO |
| setOrigin | Common.AS_Annotation |
| setOriginIfLocal | Common.AS_Annotation |
| SetOrInterval | CSL.TreePO |
| setPointerInRef | Static.DevGraph |
| setPref | OWL2.XMLConversion |
| setPrefix | Common.IRI |
| setProof | Static.DevGraph |
| setQNPrefix | OWL2.XMLConversion |
| setReservedPrefix | OWL2.AS |
| setRevSortRel | CASL.Sign |
| setS | CSL.Keywords |
| setSelectedComorphism | GUI.GtkConsistencyChecker |
| setSigMapDG | Static.DevGraph |
| setSrcRange | Static.DgUtils |
| setStdEnc | Common.IO |
| setSyntax | Logic.Grothendieck |
| setTab | Common.LaTeX_funs |
| setTabWSp | Common.LaTeX_funs |
| setTarget | Maude.Morphism |
| setTermMods | ExtModal.Sublogic |
| setText | OWL2.XMLConversion |
| setThMapDG | Static.DevGraph |
| setTimeMods | ExtModal.Sublogic |
| settingBody | SoftFOL.Sign |
| settingName | SoftFOL.Sign |
| settings | SoftFOL.Sign |
| setTkVariable | GUI.HTkUtils |
| setToClosedInt | CSL.TreePO |
| setToClosedIntD | CSL.TreePO |
| setToMap | Common.Lib.MapSet |
| setUnion_list | CommonLogic.Tools |
| setUnitSigInRef | Static.DevGraph |
| setupReasoning | Persistence.Reasoning |
| setView | GUI.HTkUtils |
| setXMLNS | OWL2.XMLConversion |
| set_formula_role | TPTP.AS |
| SEW | GUI.HTkUtils |
| SExpr | Common.SExpr |
| sfail | CASL.ToSExpr |
| SFKT | Common.SFKT |
| SFOpType | SoftFOL.Sign |
| SFPredType | SoftFOL.Sign |
| SFSortType | SoftFOL.Sign |
| sfSymbKind | SoftFOL.Sign |
| SFSymbol | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SFSymbType | SoftFOL.Sign |
| sglElem | OMDoc.Export |
| Sgn | Adl.As |
| sgnDiff | TopHybrid.TopHybridSign |
| Sgn_Wrap | |
| 1 (Type/Class) | TopHybrid.TopHybridSign |
| 2 (Data Constructor) | TopHybrid.TopHybridSign |
| sh | THF.Poly |
| Shape | GUI.UDGUtils |
| shapeMatch | HasCASL.Unify |
| shapeRelAndSimplify | HasCASL.Constrain |
| shareS | CSL.Keywords |
| Sharing | Common.Amalgamate |
| ShATermLG | ATC.Grothendieck |
| shellLoop | CMDL.Interface |
| shellSettings | CMDL.Interface |
| Shift | GUI.HTkUtils |
| Shortcut | CASL.CompositionTable.ModelFormula |
| shortcut | CASL.CompositionTable.CompositionTable |
| shortcutOperationS | CASL.CompositionTable.Keywords |
| shortLiteral | RDF.Parse |
| shortS | OWL2.Keywords |
| short_description | Logic.Logic |
| showAlignArity | Syntax.AS_Library |
| showAllKnownProvers | Comorphisms.KnownProvers |
| showAutomaticProofs | GUI.GtkAutomaticProofs |
| showAxis | Common.XPath |
| showBaseSig | Isabelle.IsaPrint |
| showCardinalityType | OWL2.AS |
| showCD | OMDoc.XmlInterface |
| showCDName | OMDoc.XmlInterface |
| showCmd | Interfaces.Command |
| showCmdComplete | CMDL.Interface |
| showComorph | PGIP.Output.Formatting |
| showConsistencyChecker | GUI.GtkConsistencyChecker |
| showConsistencyCheckerAux | GUI.GtkConsistencyChecker |
| showConsistencyCheckerMain | GUI.GtkConsistencyChecker |
| showConsistencyStatus | Common.Consistency |
| showConsStatus | Static.DgUtils |
| showCreationConfigs | GUI.HTkUtils |
| showDFGProblem | SoftFOL.ProverState |
| showDGraph | GUI.GraphLogic |
| showDiagMess | GUI.GraphLogic |
| showDiagMessAux | GUI.GraphLogic |
| showDiags | Driver.Options |
| showDiags1 | Driver.Options |
| showDIMACSProblem | Propositional.Conversions |
| showDoc | Common.DocUtils |
| showDocWithPos | HasCASL.Unify |
| showDomainOrRange | OWL2.AS |
| showEdgeId | Static.DgUtils |
| showEdgeInfo | GUI.GraphLogic |
| showEntityType | OWL2.AS |
| showEnvDiff | HasCASL.Morphism |
| showEquivOrDisjoint | OWL2.AS |
| showErr | Common.Result |
| showExpr | Common.XPath |
| showExt | Static.DgUtils |
| showFacet | OWL2.Keywords |
| showFacetAsText | OWL2.Keywords |
| showFileType | Driver.ReadFn |
| showGlobalDoc | Common.DocUtils |
| showGoal | Common.GtkGoal |
| showGraph | GUI.ShowGraph |
| showGridPackOptions | GUI.HTkUtils |
| showId | Common.Id |
| showIds | Common.Id |
| showInfixExpr | Common.XPath |
| showInsert | Common.XUpdate |
| showInspectCmd | Interfaces.Command |
| showIRI | |
| 1 (Function) | Common.IRI |
| 2 (Function) | OMDoc.OMDocInterface |
| 3 (Function) | OWL2.XMLConversion |
| showIriCD | OMDoc.Import |
| showIRICompact | Common.IRI |
| showIRIFull | Common.IRI |
| showIsaConstIT | Isabelle.Translate |
| showIsaConstT | Isabelle.Translate |
| showIsaTypeT | Isabelle.Translate |
| showIt | Taxonomy.AbstractGraphView |
| showKnownProvers | Comorphisms.KnownProvers |
| showLEdge | Static.PrintDevGraph |
| showLemmas | Isabelle.IsaSign |
| showLG | GUI.ShowLogicGraph |
| showLibGraph | |
| 1 (Function) | GUI.GraphLogic |
| 2 (Function) | GUI.ShowLibGraph |
| showModelView | GUI.GtkConsistencyChecker |
| showModelViewAux | GUI.GtkConsistencyChecker |
| showName | Static.DgUtils |
| showNodeCmd | PGIP.Query |
| showNodeInfo | GUI.GraphLogic |
| showNodeTest | Common.XPath |
| showOMName | OMDoc.XmlInterface |
| showOntClass | CASL.Taxonomy |
| showOPNAME | CSL.AS_BASIC_CSL |
| ShowOutput | Interfaces.Command |
| showOutput | Interfaces.DataTypes |
| showOWLProblem | OWL2.ProverState |
| showOWLProblemS | OWL2.ProverState |
| showPackOptions | GUI.HTkUtils |
| showPath | PGIP.Query |
| showPathQuery | PGIP.Query |
| showPlainLG | GUI.ShowLogicGraph |
| showPos | Common.Id |
| showPred | Common.XPath |
| showProblemTHF | THF.ProverState |
| showProofStatusOfNode | GUI.GraphLogic |
| showProverGUI | GUI.GtkProverGUI |
| showProversOnly | PGIP.Output.Formatting |
| showQDIMACSProblem | QBF.ProverState |
| showQuantifierType | OWL2.AS |
| showQuery | PGIP.Query |
| showRaw | Common.Doc |
| showReferencedLibrary | GUI.GraphLogic |
| showRefTree | GUI.ShowRefTree |
| showRelation | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | CASL.Taxonomy |
| showRelationName | CASL.Taxonomy |
| showRelDiags | Common.Result |
| showRuleKind | Adl.As |
| showrulesS | CSL.Keywords |
| Shows | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| showSameOrDifferent | OWL2.AS |
| showsArgs | Isabelle.IsaExport |
| showSepList | Common.Id |
| showSettingLabel | SoftFOL.Sign |
| showSimple | Common.GtkGoal |
| showsName | Isabelle.IsaExport |
| showSPSymbol | SoftFOL.Sign |
| showStatus | Common.AutoProofUtils |
| showStep | Common.XPath |
| showSteps | Common.XPath |
| showSymbols | |
| 1 (Function) | Static.ToXml |
| 2 (Function) | Static.ToJson |
| showSymbolsTh | |
| 1 (Function) | Static.ToXml |
| 2 (Function) | Static.ToJson |
| showSyntax | Logic.Logic |
| Shows_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| showTemporaryMessage | |
| 1 (Function) | Taxonomy.AbstractGraphView |
| 2 (Function) | GUI.GraphAbstraction |
| showText | GUI.HTkUtils |
| showTheory | |
| 1 (Function) | OMDoc.OMDocInterface |
| 2 (Function) | HetsAPI.Commands |
| showtimeS | CSL.Keywords |
| showTPTPProblem | SoftFOL.ProverState |
| showTPTPProblemAux | SoftFOL.ProverState |
| showTPTPProblemM | |
| 1 (Function) | SoftFOL.ProverState |
| 2 (Function) | TPTP.Prover.ProverState |
| showTrace | Common.IRI |
| showUp | Adl.As |
| showURN | Common.IRI |
| showValue | GUI.HTkUtils |
| showXPath | Static.PrintDevGraph |
| shrinkKnownProvers | Comorphisms.KnownProvers |
| shrinkPat | Comorphisms.HasCASL2IsabelleHOL |
| shutS | CSL.Keywords |
| SHy | SoftFOL.Sign |
| sid | Common.Token |
| sidDoc | Common.DocUtils |
| Side | GUI.HTkUtils |
| SideSpec | GUI.HTkUtils |
| Sig | Static.DevGraph |
| sigBase | LF.Sign |
| sigColimit | DFOL.Colimit |
| sigDelimS | Common.Keywords |
| sigDepends | HolLight.HolLight2DG |
| sigDiff | |
| 1 (Function) | CSL.Sign |
| 2 (Function) | CommonLogic.Sign |
| 3 (Function) | NeSyPatterns.Sign |
| 4 (Function) | Propositional.Sign |
| 5 (Function) | THF.Sign |
| 6 (Function) | Temporal.Sign |
| sigElems | OMDoc.Import |
| Sigentry | VSE.As |
| SigFile | Driver.Options |
| SigId | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| sigInclusion | CASL.Morphism |
| sigIntersect | THF.Sign |
| sigIntersection | |
| 1 (Function) | DFOL.Sign |
| 2 (Function) | LF.Sign |
| sigIntHandler | CMDL.ProveConsistency |
| SigItems | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| sigItems | CASL.Parse_AS_Basic |
| sigItemStatAna | ExtModal.StatAna |
| SigmaExists | THF.As |
| SigMap | |
| 1 (Type/Class) | OMDoc.DataTypes |
| 2 (Data Constructor) | OMDoc.DataTypes |
| sigMap | |
| 1 (Function) | DFOL.Comorphism |
| 2 (Function) | Static.DevGraph |
| sigmapAccumFun | OMDoc.Import |
| sigMapH | DFOL.Comorphism |
| SigMapI | |
| 1 (Type/Class) | OMDoc.DataTypes |
| 2 (Data Constructor) | OMDoc.DataTypes |
| sigMapI | Static.DevGraph |
| sigMapINotations | OMDoc.DataTypes |
| sigMapISymbs | OMDoc.DataTypes |
| sigMapSymbs | OMDoc.DataTypes |
| sigModule | LF.Sign |
| Sign | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | CSMOF.Sign |
| 3 (Type/Class) | CSL.Sign |
| 4 (Data Constructor) | CSL.Sign |
| 5 (Type/Class) | CASL.Sign |
| 6 (Data Constructor) | CASL.Sign |
| 7 (Type/Class) | Adl.Sign |
| 8 (Data Constructor) | Adl.Sign |
| 9 (Type/Class) | CommonLogic.Sign |
| 10 (Data Constructor) | CommonLogic.Sign |
| 11 (Type/Class) | DFOL.Sign |
| 12 (Data Constructor) | DFOL.Sign |
| 13 (Type/Class) | FreeCAD.As |
| 14 (Data Constructor) | FreeCAD.As |
| 15 (Type/Class) | HolLight.Sign |
| 16 (Data Constructor) | HolLight.Sign |
| 17 (Type/Class) | Isabelle.IsaSign |
| 18 (Data Constructor) | Isabelle.IsaSign |
| 19 (Type/Class) | LF.Sign |
| 20 (Data Constructor) | LF.Sign |
| 21 (Type/Class) | Maude.Sign |
| 22 (Data Constructor) | Maude.Sign |
| 23 (Type/Class) | OWL2.Sign |
| 24 (Data Constructor) | OWL2.Sign |
| 25 (Type/Class) | NeSyPatterns.Sign |
| 26 (Data Constructor) | NeSyPatterns.Sign |
| 27 (Type/Class) | Propositional.Sign |
| 28 (Data Constructor) | Propositional.Sign |
| 29 (Type/Class) | QVTR.Sign |
| 30 (Data Constructor) | QVTR.Sign |
| 31 (Type/Class) | RDF.Sign |
| 32 (Data Constructor) | RDF.Sign |
| 33 (Type/Class) | RelationalScheme.Sign |
| 34 (Type/Class) | SoftFOL.Sign |
| 35 (Data Constructor) | SoftFOL.Sign |
| 36 (Data Constructor) | THF.Sign |
| 37 (Type/Class) | TPTP.Sign |
| 38 (Data Constructor) | TPTP.Sign |
| 39 (Type/Class) | Temporal.Sign |
| 40 (Data Constructor) | Temporal.Sign |
| sign | |
| 1 (Function) | Adl.StatAna |
| 2 (Function) | CommonLogic.Lexer_KIF |
| SignalOn | Adl.As |
| Signals | Adl.As |
| Signature | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Signature |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Signature |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| signature | THF.ProverState |
| SignatureAsJson | Persistence.Schema |
| signatureAsJson | Persistence.Schema |
| signatureColimit | |
| 1 (Function) | NeSyPatterns.Analysis |
| 2 (Function) | Propositional.Analysis |
| 3 (Function) | QBF.Analysis |
| signatureDiff | Logic.Logic |
| SignatureId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SignatureJSON | HetsAPI.DataTypes |
| SignatureKey | Persistence.Schema |
| SignatureLanguageId | Persistence.Schema |
| signatureLanguageId | Persistence.Schema |
| SignatureMorphism | |
| 1 (Type/Class) | PGIP.GraphQL.Result.SignatureMorphism |
| 2 (Data Constructor) | PGIP.GraphQL.Result.SignatureMorphism |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| signatureMorphism | PGIP.GraphQL.Result.Mapping |
| SignatureMorphismAsJson | Persistence.Schema |
| signatureMorphismAsJson | Persistence.Schema |
| SignatureMorphismId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SignatureMorphismKey | Persistence.Schema |
| SignatureMorphismLogicMappingId | Persistence.Schema |
| signatureMorphismLogicMappingId | Persistence.Schema |
| SignatureMorphismResult | PGIP.GraphQL.Result |
| SignatureMorphismSourceId | Persistence.Schema |
| signatureMorphismSourceId | Persistence.Schema |
| signatureMorphismsSource | PGIP.GraphQL.Result.Signature |
| signatureMorphismsTarget | PGIP.GraphQL.Result.Signature |
| SignatureMorphismTargetId | Persistence.Schema |
| signatureMorphismTargetId | Persistence.Schema |
| signatureMorphismToResult | PGIP.GraphQL.Resolver.ToResult |
| SignatureResult | PGIP.GraphQL.Result |
| SignatureSymbol | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SignatureSymbolId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SignatureSymbolImported | Persistence.Schema |
| signatureSymbolImported | Persistence.Schema |
| SignatureSymbolKey | Persistence.Schema |
| signatureSymbolKeysignatureId | Persistence.Schema |
| signatureSymbolKeysymbolId | Persistence.Schema |
| SignatureSymbolSignatureId | Persistence.Schema |
| signatureSymbolSignatureId | Persistence.Schema |
| SignatureSymbolSymbolId | Persistence.Schema |
| signatureSymbolSymbolId | Persistence.Schema |
| signatureToResult | PGIP.GraphQL.Resolver.ToResult |
| signatureUnionR | TPTP.StaticAnalysis |
| signature_colimit | Logic.Logic |
| signature_union | Logic.Logic |
| SignAxiom | OWL2.Sign |
| signColimit | |
| 1 (Function) | CommonLogic.Analysis |
| 2 (Function) | OWL2.ColimSign |
| 3 (Function) | CASL.ColimSign |
| signednumber | CSL.Parse_AS_Basic |
| signednumberExp | CSL.Parse_AS_Basic |
| SignExt | |
| 1 (Type/Class) | Fpl.Sign |
| 2 (Data Constructor) | Fpl.Sign |
| SignExtension | CASL.Sign |
| signNumCompatChars | CSL.Parse_AS_Basic |
| signOf | Static.GTheory |
| signOfNode | Static.FromXml |
| signOfSentence | TPTP.StaticAnalysis |
| signS | CSL.Keywords |
| SignTHF | THF.Sign |
| signToDec | OWL2.XMLConversion |
| signToFrames | OWL2.Extract |
| signToSExprs | CASL.ToSExpr |
| signToSPLogicalPart | SoftFOL.Conversions |
| SignTranslator | Comorphisms.CFOL2IsabelleHOL |
| signUnion | Adl.Sign |
| sigP | VSE.Prove |
| SIGS | LF.Twelf2GR |
| sigSymsOf | CASL.Morphism |
| sigTransl | DFOL.Comorphism |
| sigUnion | |
| 1 (Function) | CSL.Sign |
| 2 (Function) | CommonLogic.Sign |
| 3 (Function) | DFOL.Sign |
| 4 (Function) | HolLight.Sign |
| 5 (Function) | LF.Sign |
| 6 (Function) | NeSyPatterns.Sign |
| 7 (Function) | Propositional.Sign |
| 8 (Function) | THF.Sign |
| 9 (Function) | Temporal.Sign |
| sigUnionL | CommonLogic.Sign |
| SIG_ITEMS | CASL.AS_Basic_CASL |
| Sig_items | CASL.AS_Basic_CASL |
| SIG_NAME | Framework.AS |
| simC_FORMULA | Comorphisms.CoCASL2CoSubCFOL |
| simEMSen | ExtModal.Logic_ExtModal |
| simHybrid | Hybrid.Logic_Hybrid |
| simModal | Modal.Logic_Modal |
| Simp | Isabelle.IsaSign |
| SimpAdd | Isabelle.IsaSign |
| simpAnno | Common.AS_Annotation |
| simpDlformula | VSE.Ana |
| simpForOption | Comorphisms.PPolyTyConsHOL2IsaUtils |
| simpForPairs | Comorphisms.PPolyTyConsHOL2IsaUtils |
| SimpKind | Comorphisms.PPolyTyConsHOL2IsaUtils |
| SimpleBroadcaster | GUI.UDGUtils |
| SimpleClause | SoftFOL.Sign |
| SimpleConstant | CSL.AS_BASIC_CSL |
| SimpleEntity | OWL2.MS |
| simpleEscape | Common.Lexer |
| simpleId | Common.Token |
| simpleIdToId | Common.Id |
| simpleIdToIRI | Common.IRI |
| SimpleMod | ExtModal.AS_ExtModal |
| simpleName | CSL.ASUtils |
| simpleOMS | OMDoc.DataTypes |
| SimplePat | TIP.AbsTIP |
| SimplePath | |
| 1 (Type/Class) | Static.XSimplePath |
| 2 (Data Constructor) | Static.XSimplePath |
| SimpleProp | QVTR.As |
| simplerelation | ConstraintCASL.Formula |
| SimpleSource | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| simpleStr | QVTR.As |
| simpleTripleToAxiom | RDF.StaticAnalysis |
| SimpleTypeClasses | HasCASL.Sublogic |
| simpleTypeScheme | HasCASL.AsUtils |
| SIMPLE_ID | Common.Id |
| Simple_mod | |
| 1 (Data Constructor) | CoCASL.AS_CoCASL |
| 2 (Data Constructor) | Hybrid.AS_Hybrid |
| 3 (Data Constructor) | Modal.AS_Modal |
| Simple_mod_decl | |
| 1 (Data Constructor) | Hybrid.AS_Hybrid |
| 2 (Data Constructor) | Modal.AS_Modal |
| 3 (Data Constructor) | TopHybrid.AS_TopHybrid |
| Simple_nom | Hybrid.AS_Hybrid |
| Simple_nom_decl | |
| 1 (Data Constructor) | Hybrid.AS_Hybrid |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| simplify | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| simplifyCASLSen | CASL.SimplifySen |
| simplifyCASLTerm | CASL.SimplifySen |
| simplifyEM | Comorphisms.ExtModal2ExtModalTotal |
| simplifyEMFormula | Comorphisms.ExtModal2ExtModalTotal |
| simplifyEq | HasCASL.SimplifyTerm |
| simplifyFormula | CASL.Simplify |
| simplifyPattern | HasCASL.SimplifyTerm |
| simplifyRec | HasCASL.SimplifyTerm |
| simplifyRecord | CASL.Simplify |
| simplifySen | |
| 1 (Function) | CASL.SimplifySen |
| 2 (Function) | CspCASL.SimplifySen |
| simplifySentence | |
| 1 (Function) | HasCASL.SimplifyTerm |
| 2 (Function) | Maude.Sign |
| simplifyTerm | |
| 1 (Function) | CASL.Simplify |
| 2 (Function) | CASL.SimplifySen |
| 3 (Function) | HasCASL.SimplifyTerm |
| simplifyTermExt | Fpl.StatAna |
| simplifyTh | Static.GTheory |
| simplify_sen | Logic.Logic |
| simpS | Isabelle.IsaConsts |
| simpTerm | SoftFOL.Sign |
| SimpValue | |
| 1 (Type/Class) | Isabelle.IsaParse |
| 2 (Data Constructor) | Isabelle.IsaParse |
| simpValue | Isabelle.IsaParse |
| simSen | TopHybrid.StatAna |
| sinceS | ExtModal.Keywords |
| sineDepthLimit | PGIP.ReasoningParameters |
| SInEParameters | |
| 1 (Type/Class) | Persistence.Reasoning.PremiseSelectionSInE |
| 2 (Data Constructor) | Persistence.Reasoning.PremiseSelectionSInE |
| sinePremiseNumberLimit | PGIP.ReasoningParameters |
| SinePremiseSelection | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| SinePremiseSelectionAxiomNumberLimit | Persistence.Schema |
| sinePremiseSelectionAxiomNumberLimit | Persistence.Schema |
| SinePremiseSelectionDepthLimit | Persistence.Schema |
| sinePremiseSelectionDepthLimit | Persistence.Schema |
| SinePremiseSelectionId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SinePremiseSelectionKey | Persistence.Schema |
| SinePremiseSelectionTolerance | Persistence.Schema |
| sinePremiseSelectionTolerance | Persistence.Schema |
| SineSymbolCommonness | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SineSymbolCommonnessCommonness | Persistence.Schema |
| sineSymbolCommonnessCommonness | Persistence.Schema |
| SineSymbolCommonnessId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SineSymbolCommonnessKey | Persistence.Schema |
| SineSymbolCommonnessSinePremiseSelectionId | Persistence.Schema |
| sineSymbolCommonnessSinePremiseSelectionId | Persistence.Schema |
| SineSymbolCommonnessSymbolId | Persistence.Schema |
| sineSymbolCommonnessSymbolId | Persistence.Schema |
| SineSymbolPremiseTrigger | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SineSymbolPremiseTriggerId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SineSymbolPremiseTriggerKey | Persistence.Schema |
| SineSymbolPremiseTriggerMinTolerance | Persistence.Schema |
| sineSymbolPremiseTriggerMinTolerance | Persistence.Schema |
| SineSymbolPremiseTriggerPremiseId | Persistence.Schema |
| sineSymbolPremiseTriggerPremiseId | Persistence.Schema |
| SineSymbolPremiseTriggerSinePremiseSelectionId | Persistence.Schema |
| sineSymbolPremiseTriggerSinePremiseSelectionId | Persistence.Schema |
| SineSymbolPremiseTriggerSymbolId | Persistence.Schema |
| sineSymbolPremiseTriggerSymbolId | Persistence.Schema |
| sineTolerance | PGIP.ReasoningParameters |
| Single | GUI.HTkUtils |
| single | Common.Parsec |
| singleAndRelatedSorts | CASL.Sign |
| SingleBorder | GUI.UDGUtils |
| singleCase | CSL.Parse_AS_Basic |
| SingleDomain | Syntax.AS_Library |
| singleInfixExpr | Common.XPath |
| SingleLine | Common.Lib.Tabular |
| singleQuoted | SoftFOL.ParseTPTP |
| singleSorted | SoftFOL.Sign |
| singleSortNotGen | SoftFOL.Sign |
| singleton | Common.Lib.SizedList |
| singletonList | Logic.Logic |
| singleTreeFlatDUnions | Proofs.DGFlattening |
| singleTypeArg | HasCASL.ParseTerm |
| singleUnderline | Common.Lexer |
| Single_correspondence | Syntax.AS_Structured |
| singularizeDatas | TIP.Utils |
| sinhS | CSL.Keywords |
| sinS | CSL.Keywords |
| Size | GUI.HTkUtils |
| size | |
| 1 (Function) | Common.Lib.SizedList |
| 2 (Function) | GUI.HTkUtils |
| SizedList | Common.Lib.SizedList |
| sizedText | Common.Lib.Pretty |
| sizeFrom | GUI.HTkUtils |
| Skip | |
| 1 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| 2 (Data Constructor) | Driver.Options |
| 3 (Data Constructor) | VSE.As |
| skip | |
| 1 (Function) | Common.Lexer |
| 2 (Function) | CASL.Kif |
| 3 (Function) | CASL.CompositionTable.ParseSparQ, CASL.CompositionTable.ParseTable2 |
| 4 (Function) | Adl.Parse |
| 5 (Function) | CommonLogic.Lexer_KIF |
| 6 (Function) | QVTR.Parser |
| skipChar | |
| 1 (Function) | LF.MorphParser |
| 2 (Function) | OWL2.ParseAS |
| 3 (Function) | OWL2.ParseMS |
| 4 (Function) | OWL2.Parse |
| skipComments | CASL.Kif2CASL |
| skipJunk | VSE.Prove |
| skipReduceLineNr | CSL.Reduce_Interface |
| skipS | CspCASL.CspCASL_Keywords |
| skips | |
| 1 (Function) | Common.XPath |
| 2 (Function) | LF.MorphParser |
| 3 (Function) | OWL2.ParseAS |
| 4 (Function) | OWL2.ParseMS |
| 5 (Function) | OWL2.Parse |
| 6 (Function) | RDF.Parse |
| skips' | OWL2.ParseAS |
| skipSmart | Common.Lexer |
| skipVoidGroup | Syntax.Print_AS_Structured |
| skipWhite | VSE.Prove |
| skolemize | Comorphisms.CASL2Skolem |
| slAnnos | OWL2.Sublogic |
| slAnnosAnd | OWL2.Sublogic |
| slAnnotation | OWL2.Sublogic |
| slant | GUI.HTkUtils |
| slashStep | Common.XPath |
| slAtom | OWL2.Sublogic |
| slAxiom | OWL2.Sublogic |
| slBasicSpec | QBF.Sublogic |
| slBottom | OWL2.Sublogic |
| slClassExpression | OWL2.Sublogic |
| slDArg | OWL2.Sublogic |
| slDataCard | OWL2.Sublogic |
| slDataRange | OWL2.Sublogic |
| slDatatype | OWL2.Sublogic |
| slDL | OWL2.Sublogic |
| sledgehammerProver | THF.ProveIsabelle |
| slEntity | OWL2.Sublogic |
| slForm | QBF.Sublogic |
| slGAnonymousIndividuals | OWL2.Sublogic |
| slGDatatypes | OWL2.Sublogic |
| slGeneralRestrictions | OWL2.Sublogic |
| slGPropertyHierachy | OWL2.Sublogic |
| slGTypingConstraints | OWL2.Sublogic |
| slIArg | OWL2.Sublogic |
| Slider | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| slIndividuals | OWL2.Sublogic |
| SList | Common.SExpr |
| slLiteral | OWL2.Sublogic |
| slMax | OWL2.Sublogic |
| slMaxs | OWL2.Sublogic |
| slMor | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | QBF.Sublogic |
| slName | OWL2.Sublogic |
| slObjCard | OWL2.Sublogic |
| slObjProp | OWL2.Sublogic |
| slODoc | OWL2.Sublogic |
| slSig | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | QBF.Sublogic |
| slSimpleObjectProp | OWL2.Sublogic |
| slSym | QBF.Sublogic |
| slSymit | QBF.Sublogic |
| slSymmap | QBF.Sublogic |
| slTop | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | RDF.Sublogic |
| slugOfConsistencyChecker | Persistence.Utils |
| slugOfLanguageByName | Persistence.Utils |
| slugOfLogicByName | Persistence.Utils |
| slugOfLogicInclusionByName | Persistence.Utils |
| slugOfLogicMapping | Persistence.Utils |
| slugOfLogicMappingByName | Persistence.Utils |
| slugOfProver | Persistence.Utils |
| slugOfReasoner | Persistence.Utils |
| slugOfTranslation | Persistence.Utils |
| sl_basicSpec | HasCASL.Sublogic |
| sl_basic_spec | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | CommonLogic.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| sl_env | HasCASL.Sublogic |
| sl_form | Propositional.Sublogic |
| sl_mor | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| sl_morphism | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | HasCASL.Sublogic |
| sl_opkind | CASL.Sublogic |
| sl_op_item | CASL.Sublogic |
| sl_op_type | CASL.Sublogic |
| sl_pred_item | CASL.Sublogic |
| sl_sentence | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | HasCASL.Sublogic |
| sl_sig | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| sl_sign | CASL.Sublogic |
| sl_sig_items | CASL.Sublogic |
| sl_sym | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| sl_symbItems | HasCASL.Sublogic |
| sl_symbMapItems | HasCASL.Sublogic |
| sl_symbol | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | HasCASL.Sublogic |
| sl_symb_items | CASL.Sublogic |
| sl_symb_map_items | CASL.Sublogic |
| sl_symit | Propositional.Sublogic |
| sl_symitems | CommonLogic.Sublogic |
| sl_symmap | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| sl_term | CASL.Sublogic |
| smacroS | CSL.Keywords |
| sMessage | Proofs.ConsistencyCheck |
| smooth | GUI.HTkUtils |
| sMorph | OWL2.ProfilesAndSublogics |
| sndPT | Isabelle.IsaConsts |
| sneakAhead | Common.Parsec |
| soc | HolLight.Helper |
| socketHandler | CMDL.DataTypes |
| socketHostName | CMDL.DataTypes |
| socketPortNumber | CMDL.DataTypes |
| SoftFOL | |
| 1 (Type/Class) | SoftFOL.Logic_SoftFOL |
| 2 (Data Constructor) | SoftFOL.Logic_SoftFOL |
| SoftFOL2CommonLogic | |
| 1 (Type/Class) | Comorphisms.SoftFOL2CommonLogic |
| 2 (Data Constructor) | Comorphisms.SoftFOL2CommonLogic |
| SoftFOLMorphism | SoftFOL.Sign |
| SoftFOLProverState | |
| 1 (Type/Class) | SoftFOL.ProverState |
| 2 (Data Constructor) | SoftFOL.ProverState |
| SOL | CASL.Sublogic |
| Solid | GUI.UDGUtils |
| Solved | SoftFOL.MathServParsing |
| solved | SoftFOL.MathServParsing |
| solveDiags | Common.Earley |
| SolvedStatus | SoftFOL.MathServParsing |
| solveS | CSL.Keywords |
| solvesingularS | CSL.Keywords |
| someOrOnly | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| SomePartial | CASL.Sublogic |
| somePathsS | ExtModal.Keywords |
| someS | |
| 1 (Function) | Isabelle.IsaConsts |
| 2 (Function) | OWL2.Keywords |
| SomeValuesFrom | OWL2.AS |
| SoR | SoftFOL.Sign |
| Sorry | Isabelle.IsaSign |
| sorryS | Isabelle.IsaConsts |
| SORT | CASL.AS_Basic_CASL |
| Sort | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | DFOL.AS_DFOL |
| 3 (Type/Class) | Isabelle.IsaExport |
| 4 (Data Constructor) | Isabelle.IsaExport |
| 5 (Type/Class) | Isabelle.IsaSign |
| 6 (Type/Class) | Maude.AS_Maude |
| 7 (Data Constructor) | Maude.Symbol |
| sort | DFOL.Comorphism |
| sort2id | Maude.PreComorphism |
| SortAsItemType | CASL.Sign |
| sortCaseAlts | Comorphisms.HasCASL2IsabelleHOL |
| sortConstraints | CASL.AS_Basic_CASL |
| SortDef | |
| 1 (Type/Class) | OMDoc.OMDocInterface |
| 2 (Data Constructor) | OMDoc.OMDocInterface |
| sortDefConstructors | OMDoc.OMDocInterface |
| sortDefInsorts | OMDoc.OMDocInterface |
| sortDefName | OMDoc.OMDocInterface |
| sortDefRecognizers | OMDoc.OMDocInterface |
| sortDefRole | OMDoc.OMDocInterface |
| sortDefType | OMDoc.OMDocInterface |
| Sorted_term | CASL.AS_Basic_CASL |
| SortGen | CASL.Sublogic |
| SortGenerationFeatures | CASL.Sublogic |
| SortGenTotality | CASL.Sublogic |
| SortId | Maude.AS_Maude |
| sortId | Common.Token |
| sortItem | CASL.SortItem |
| sortItems | CASL.Parse_AS_Basic |
| SortK | Maude.Symbol |
| SortKind | DFOL.Sign |
| SortMap | |
| 1 (Type/Class) | Maude.Morphism |
| 2 (Type/Class) | SoftFOL.Sign |
| sortMap | |
| 1 (Function) | Maude.Morphism |
| 2 (Function) | SoftFOL.Sign |
| sortNodes | GUI.GtkConsistencyChecker |
| sortOfTerm | CASL.Sign |
| sortPrec | DFOL.Utils |
| sortRange | Common.Id |
| sortRel | |
| 1 (Function) | CASL.Sign |
| 2 (Function) | SoftFOL.Sign |
| SortRenaming | Maude.AS_Maude |
| sortS | Common.Keywords |
| sorts | |
| 1 (Function) | Maude.Sign |
| 2 (Function) | SoftFOL.Sign |
| SortSet | Maude.Sign |
| sortSet | CASL.Sign |
| sortSignToSExprs | CASL.ToSExpr |
| SortsKind | CASL.AS_Basic_CASL |
| sortsOfArgs | CASL.StaticAna |
| SortStmnt | Maude.AS_Maude |
| sortsTranslation | Maude.PreComorphism |
| sortsTranslationList | Maude.PreComorphism |
| sortsWithBottom | Comorphisms.CASL2SubCFOL |
| sortSym | SoftFOL.Sign |
| sortSym2id | Maude.PreComorphism |
| sortSymA | SoftFOL.Sign |
| sortSymB | SoftFOL.Sign |
| sortSyms | SoftFOL.Sign |
| Sorts_kind | CASL.AS_Basic_CASL |
| sortT | Isabelle.IsaConsts |
| sortToOpType | CASL.Sign |
| sortToPredType | CASL.Sign |
| sortToProcProfile | CspCASL.Symbol |
| sortToSSymbol | CASL.ToSExpr |
| SortType | OMDoc.OMDocInterface |
| Sort_decl | CASL.AS_Basic_CASL |
| Sort_gen | CASL.AS_Basic_CASL |
| Sort_gen_ax | CASL.AS_Basic_CASL |
| SORT_ITEM | CASL.AS_Basic_CASL |
| Sort_items | CASL.AS_Basic_CASL |
| Sort_map | CASL.Morphism |
| sort_map | CASL.Morphism |
| sot | HolLight.Helper |
| Source | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Type/Class) | SoftFOL.Sign |
| 3 (Data Constructor) | SoftFOL.Sign |
| 4 (Type/Class) | THF.As |
| 5 (Type/Class) | TPTP.AS |
| source | |
| 1 (Function) | CSMOF.As |
| 2 (Function) | CSL.Morphism |
| 3 (Function) | CommonLogic.Morphism |
| 4 (Function) | DFOL.Morphism |
| 5 (Function) | Framework.AS |
| 6 (Function) | LF.Morphism |
| 7 (Function) | Maude.Morphism |
| 8 (Function) | NeSyPatterns.Morphism |
| 9 (Function) | PGIP.GraphQL.Result.DocumentLink |
| 10 (Function) | PGIP.GraphQL.Result.Mapping |
| 11 (Function) | PGIP.GraphQL.Result.LanguageMapping |
| 12 (Function) | PGIP.GraphQL.Result.LogicMapping |
| 13 (Function) | PGIP.GraphQL.Result.SymbolMapping |
| 14 (Function) | PGIP.GraphQL.Result.SignatureMorphism |
| 15 (Function) | Propositional.Morphism |
| 16 (Function) | QBF.Morphism |
| 17 (Function) | Static.XGraph |
| 18 (Function) | Temporal.Morphism |
| sourceColumn | Common.Id |
| sourceComorphism | Logic.Modification |
| sourceDomain | QVTR.As |
| SourceIndividual | OWL2.AS |
| sourceLine | Common.Id |
| sourceLogic | Logic.Comorphism |
| sourceMetamodel | QVTR.As |
| sourceName | Common.Id |
| sourcePattern | QVTR.Sign |
| SourcePos | Common.Id |
| sourceRole | CSMOF.Sign |
| Sources | TPTP.AS |
| sourceS | Common.Keywords |
| sourceSign | QVTR.Sign |
| sourceSublogic | Logic.Comorphism |
| sourceSublogicLossy | Logic.Comorphism |
| sourceType | CSMOF.Sign |
| sourceVar | CSMOF.Sign |
| Source_DAG | TPTP.AS |
| Source_external | TPTP.AS |
| Source_internal | TPTP.AS |
| Source_many | TPTP.AS |
| South | GUI.HTkUtils |
| SouthEast | GUI.HTkUtils |
| SouthWest | GUI.HTkUtils |
| space | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| spaceAbove | GUI.HTkUtils |
| spaceBelow | GUI.HTkUtils |
| spaceWrap | GUI.HTkUtils |
| spacing | GUI.HTkUtils |
| SPAnd | SoftFOL.Sign |
| SpanDomain | |
| 1 (Type/Class) | Logic.Morphism |
| 2 (Data Constructor) | Logic.Morphism |
| spanString | Common.GtkGoal |
| sParens | OWL2.PrintAS |
| SPASS | SoftFOL.Sign |
| spass | TPTP.Prover.SPASS |
| SPAssocList | SoftFOL.Sign |
| spassProveCMDLautomaticBatch | SoftFOL.ProveSPASS |
| spassProver | SoftFOL.ProveSPASS |
| spassProverState | SoftFOL.ProverState |
| SpassResCalc | SoftFOL.MathServParsing |
| spawn | GUI.HTkUtils |
| spawnEvent | GUI.HTkUtils |
| SPClause | SoftFOL.Sign |
| SPClauseList | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPClauseRelation | SoftFOL.Sign |
| SPClauseType | SoftFOL.Sign |
| SPCNF | SoftFOL.Sign |
| spCommentText | SoftFOL.PrintTPTP |
| SPComp | SoftFOL.Sign |
| SPComplexTerm | SoftFOL.Sign |
| SPConv | SoftFOL.Sign |
| SPCRBIND | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPCustomQuantSym | SoftFOL.Sign |
| SPCustomSymbol | SoftFOL.Sign |
| Spc_Wrap | |
| 1 (Type/Class) | TopHybrid.AS_TopHybrid |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| SPDeclaration | SoftFOL.Sign |
| SPDescription | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPDiv | SoftFOL.Sign |
| SPDNF | SoftFOL.Sign |
| SPEC | Syntax.AS_Structured |
| Spec | Maude.AS_Maude |
| specBraces | Common.Doc |
| specDir | VSE.Prove |
| SpecEntry | Static.DevGraph |
| Special | Maude.AS_Maude |
| specializedScheme | HasCASL.Unify |
| specialZero | Maude.PreComorphism |
| specialZeroSet | Maude.PreComorphism |
| SpecMod | Maude.AS_Maude |
| specNames | Driver.Options |
| specRoots | Static.DevGraph |
| specS | Common.Keywords |
| specs | Static.XGraph |
| SpecSymNames | |
| 1 (Type/Class) | OMDoc.Export |
| 2 (Data Constructor) | OMDoc.Export |
| SpecTh | Maude.AS_Maude |
| SpecView | Maude.AS_Maude |
| Spec_defn | Syntax.AS_Library |
| Spec_inst | Syntax.AS_Structured |
| SPEC_NAME | Syntax.AS_Structured |
| Spec_name | Syntax.AS_Architecture |
| SPEqual | SoftFOL.Sign |
| SPEquiv | SoftFOL.Sign |
| SPExists | SoftFOL.Sign |
| SPFalse | SoftFOL.Sign |
| SPFlag | SoftFOL.Sign |
| SPForall | SoftFOL.Sign |
| SPFormula | SoftFOL.Sign |
| SPFormulaList | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPFType | Driver.Options |
| SPGenDecl | SoftFOL.Sign |
| SPGeneralSettings | SoftFOL.Sign |
| Sphere | FreeCAD.As |
| SPHypothesis | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPID | SoftFOL.Sign |
| SPIdentifier | SoftFOL.Sign |
| SPImplied | SoftFOL.Sign |
| SPImplies | SoftFOL.Sign |
| SPKey | SoftFOL.Sign |
| SpL | SoftFOL.Sign |
| splinesteps | GUI.HTkUtils |
| splitAndPrintRAnnos | Common.DocUtils |
| splitAxiom | CASL.CCC.TermFormula |
| splitBy | Common.Utils |
| splitByList | Common.Utils |
| splitCASLVar | CspCASL.AS_CspCASL_Process |
| splitDoubleUnderscores | Maude.PreComorphism |
| SPLiteral | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| splitHistory | Static.History |
| splitIRI | OWL2.XML |
| splitlist | HolLight.Helper |
| SplitM | Common.ConvertLiteral |
| splitMixToken | Common.Id |
| splitOn | Common.Utils |
| splitOwiseEqs | Maude.PreComorphism |
| splitPaths | Common.Utils |
| splitRAnnos | Common.DocUtils |
| splitSpec | CSL.Analysis |
| splitString | Common.Lexer |
| splitSymbolMap | CspCASL.Symbol |
| splitVars | HasCASL.AsUtils |
| SPLogicalPart | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPLogState | SoftFOL.Sign |
| SPm | SoftFOL.Sign |
| SPNot | SoftFOL.Sign |
| SPOr | SoftFOL.Sign |
| SPOriginAxioms | SoftFOL.Sign |
| SPOriginConjectures | SoftFOL.Sign |
| SPOriginType | SoftFOL.Sign |
| SPParent | SoftFOL.Sign |
| SPPredDecl | SoftFOL.Sign |
| SPProblem | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPProofList | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPProofStep | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPProofType | SoftFOL.Sign |
| SPQuantSym | SoftFOL.Sign |
| SPQuantTerm | SoftFOL.Sign |
| SpR | SoftFOL.Sign |
| spraycan | GUI.HTkUtils |
| SPReference | SoftFOL.Sign |
| SPResult | SoftFOL.Sign |
| sProdS | Isabelle.IsaConsts |
| SPRuleAppl | SoftFOL.Sign |
| SPSetting | SoftFOL.Sign |
| SPSettingBody | SoftFOL.Sign |
| SPSettingLabel | SoftFOL.Sign |
| SPSettings | SoftFOL.Sign |
| SPSignSym | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPSimpleSignSym | SoftFOL.Sign |
| SPSimpleTermDecl | SoftFOL.Sign |
| SPSortSym | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| SPStateSatisfiable | SoftFOL.Sign |
| SPStateUnknown | SoftFOL.Sign |
| SPStateUnsatisfiable | SoftFOL.Sign |
| SPSubsortDecl | SoftFOL.Sign |
| SPSum | SoftFOL.Sign |
| spSym | SoftFOL.Sign |
| SPSymbol | SoftFOL.Sign |
| SPSymbolList | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| Spt | SoftFOL.Sign |
| SPTerm | SoftFOL.Sign |
| SPTermDecl | SoftFOL.Sign |
| spTerms | SoftFOL.Sign |
| SPTrue | SoftFOL.Sign |
| spurS | CSL.Keywords |
| SPUserRuleAppl | SoftFOL.Sign |
| SPValue | SoftFOL.Sign |
| Sqlplug | Adl.As |
| sqrtS | CSL.Keywords |
| Square | |
| 1 (Type/Class) | Logic.Grothendieck |
| 2 (Data Constructor) | Logic.Grothendieck |
| Squares | HasCASL.As |
| squares | Logic.Grothendieck |
| squish | Common.Lib.Tabular |
| sQuoted | Common.Parsec |
| SRAttribution | OMDoc.OMDocInterface |
| SRBinder | OMDoc.OMDocInterface |
| srcRange | Static.DgUtils |
| sRec | CASL.ToSExpr |
| SRError | OMDoc.OMDocInterface |
| SRObject | OMDoc.OMDocInterface |
| SROIQ | CASL_DL.Sublogics |
| SRSemanticAttribution | OMDoc.OMDocInterface |
| SRSort | OMDoc.OMDocInterface |
| SRType | OMDoc.OMDocInterface |
| sS | Common.Keywords |
| SSi | SoftFOL.Sign |
| sSig | OWL2.ProfilesAndSublogics |
| sSumS | Isabelle.IsaConsts |
| SSymbol | Common.SExpr |
| Stability | Logic.Logic |
| stability | Logic.Logic |
| STable | RelationalScheme.Sign |
| Stable | Logic.Logic |
| STableK | RelationalScheme.Sign |
| StandardRes | SoftFOL.MathServParsing |
| starSign | THF.PrintTHF |
| Start | |
| 1 (Type/Class) | TIP.AbsTIP |
| 2 (Data Constructor) | TIP.AbsTIP |
| start | |
| 1 (Function) | Common.Token |
| 2 (Function) | GUI.HTkUtils |
| startAnno | Common.LaTeX_funs |
| startColumn | PGIP.GraphQL.Result.FileRange |
| startCspKeywords | CspCASL.CspCASL_Keywords |
| startEdgeId | Static.DgUtils |
| startingKeywords | Common.Token |
| startKeyword | Common.AnnoState |
| startLine | PGIP.GraphQL.Result.FileRange |
| startMainLoop | GUI.GtkUtils |
| startMorId | Logic.Grothendieck |
| startNodes | Static.XGraph |
| startSigId | Logic.Grothendieck |
| startsWithSemanticAnno | Common.DocUtils |
| startTab | Common.LaTeX_funs |
| startThId | Static.GTheory |
| starTypeInfo | HasCASL.Le |
| State | |
| 1 (Type/Class) | Common.Lib.State |
| 2 (Data Constructor) | Common.Lib.State |
| 3 (Type/Class) | GUI.HTkUtils |
| state | |
| 1 (Function) | Common.Lib.State |
| 2 (Function) | GUI.HTkUtils |
| Statement | |
| 1 (Type/Class) | Maude.AS_Maude |
| 2 (Type/Class) | RDF.AS |
| 3 (Data Constructor) | RDF.AS |
| statements | RDF.AS |
| StateQuantification | ExtModal.AS_ExtModal |
| statErrMsg | Logic.Logic |
| statError | Logic.Logic |
| statFail | Logic.Logic |
| StaticAnalysis | Logic.Logic |
| StaticColour | GUI.HTkUtils |
| StaticGray | GUI.HTkUtils |
| staticSimpleSource | GUI.UDGUtils |
| staticSimpleSourceIO | GUI.UDGUtils |
| staticSource | GUI.UDGUtils |
| staticSourceIO | GUI.UDGUtils |
| statIndicator | GUI.HTkUtils |
| Statistics | |
| 1 (Type/Class) | Static.CheckGlobalContext |
| 2 (Data Constructor) | Static.CheckGlobalContext |
| statSymbItems | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.RawSym |
| 3 (Function) | OWL2.Morphism |
| statSymbMapItems | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.RawSym |
| 3 (Function) | OWL2.Morphism |
| status | SoftFOL.Sign |
| statusToColor | Common.GtkGoal |
| statusToPrefix | Common.GtkGoal |
| StatusValue | THF.As |
| Status_value | TPTP.AS |
| stat_symb_items | Logic.Logic |
| stat_symb_map_items | Logic.Logic |
| StBasedUnitCtx | Static.ArchDiagram |
| Step | |
| 1 (Type/Class) | Common.XPath |
| 2 (Data Constructor) | Common.XPath |
| step | |
| 1 (Function) | Common.XPath |
| 2 (Function) | SoftFOL.Sign |
| stepAssocList | SoftFOL.Sign |
| steps | Static.XSimplePath |
| stepSource | GUI.UDGUtils |
| STFree | OMDoc.OMDocInterface |
| STGenerated | OMDoc.OMDocInterface |
| Sticky | GUI.HTkUtils |
| StickyKind | GUI.HTkUtils |
| stipple | GUI.HTkUtils |
| STLoose | OMDoc.OMDocInterface |
| StmntAttr | Maude.AS_Maude |
| Stop | |
| 1 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| 2 (Data Constructor) | VSE.Prove |
| stop | PGIP.XMLstate |
| stopMainLoop | GUI.GtkUtils |
| stopS | CspCASL.CspCASL_Keywords |
| store_literal_map | Common.AnalyseAnnos |
| Str | |
| 1 (Data Constructor) | Common.Lib.Pretty |
| 2 (Data Constructor) | Isabelle.IsaSign |
| 3 (Data Constructor) | QVTR.As |
| str2id | Maude.PreComorphism |
| str2QName | Common.XUpdate |
| strass2map | LF.Twelf2GR |
| strassQN | LF.Twelf2GR |
| Strat | Maude.AS_Maude |
| stretch | GUI.HTkUtils |
| strExp | QVTR.As |
| STRING | QVTR.As |
| String | Common.XPath |
| StringCons | Common.GlobalAnnotations |
| StringExp | QVTR.As |
| StringKind | CASL.Kif |
| stringLit | Common.Parsec |
| stringLiteral | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| 3 (Function) | RDF.Parse |
| StringMap | |
| 1 (Data Constructor) | OWL2.Function |
| 2 (Type/Class) | OWL2.Function |
| 3 (Type/Class) | RDF.Function |
| stringMap | Maude.PreComorphism |
| StringNull | Common.GlobalAnnotations |
| StringReference | |
| 1 (Type/Class) | PGIP.GraphQL.Result.StringReference |
| 2 (Data Constructor) | PGIP.GraphQL.Result.StringReference |
| stringS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | CASL_DL.PredefinedCASLAxioms |
| stringToBitMapHandle | GUI.HTkUtils |
| stringToConstant | THF.Translate |
| stringToId | Common.Id |
| stringToLowerWord | THF.Translate |
| stringToVariable | THF.Translate |
| stringVal | Isabelle.IsaExport |
| String_anno | Common.AS_Annotation |
| string_lit | Common.GlobalAnnotations |
| stripAllQuant | CASL.Quantification |
| stripAttrs | TIP.Utils |
| stripComb | HolLight.Helper |
| StripComment | |
| 1 (Type/Class) | Common.Doc |
| 2 (Data Constructor) | Common.Doc |
| stripComments | CMDL.Utils |
| stripDir | Common.Utils |
| stripExists | HolLight.Helper |
| stripForall | HolLight.Helper |
| stripGabs | HolLight.Helper |
| strippedType | HasCASL.AsUtils |
| stripPoly | Common.Prec |
| stripQuant | |
| 1 (Function) | CASL.CompositionTable.ComputeTable |
| 2 (Function) | CASL.Quantification |
| stripRecord | CASL.Quantification |
| stripReservedPrefix | OWL2.AS |
| stripSuffix | Common.Utils |
| stripVar | CommonLogic.Print_KIF |
| Strong | CASL.AS_Basic_CASL |
| structDelimS | Common.Keywords |
| structId | Common.Doc |
| structid_map | Common.LaTeX_maps |
| structIRI | Syntax.Print_AS_Structured |
| structrS | CSL.Keywords |
| structS | Common.Keywords |
| Structured | Driver.Options |
| structureQN | LF.Twelf2GR |
| structureS | Isabelle.IsaConsts |
| StUnitCtx | Static.DevGraph |
| Style | |
| 1 (Type/Class) | Common.Lib.Pretty |
| 2 (Data Constructor) | Common.Lib.Pretty |
| style | Common.Lib.Pretty |
| SType | |
| 1 (Data Constructor) | THF.Cons |
| 2 (Type/Class) | Proofs.ConsistencyCheck |
| sType | Proofs.ConsistencyCheck |
| ST_Const | THF.Cons |
| ST_System_Constant | THF.As |
| ST_System_Term | THF.As |
| ST_Type | THF.Cons |
| Sub | CASL.Sublogic |
| SubAnnotationProperty | OWL2.AS |
| SubAnnotationPropertyOf | OWL2.AS |
| subAnnotationPropertyOfK | OWL2.XMLKeywords |
| subAnnotationPropertyOfS | OWL2.ASKeywords |
| SubClass | OWL2.AS |
| Subclass | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| subclassClass | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| SubClassExpression | OWL2.AS |
| SubClassOf | OWL2.AS |
| subClassOfC | OWL2.ColonKeywords |
| subClassOfK | OWL2.XMLKeywords |
| subClassOfS | OWL2.ASKeywords |
| SubClassOfSection | OWL2.PrintMS |
| subclassProof | Isabelle.IsaSign |
| subClassRelation | NeSyPatterns.Analysis |
| subclassTarget | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| Subclass_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| Subconcept | OWL2.Sign |
| SubDataPropertyExpression | OWL2.AS |
| SubDataPropertyOf | OWL2.AS |
| subDataPropertyOfK | OWL2.XMLKeywords |
| subDataPropertyOfS | OWL2.ASKeywords |
| subDelim | Common.Percent |
| subDelims | OWL2.Parse |
| SubgoalTac | Isabelle.IsaSign |
| subgoalTacS | Isabelle.IsaConsts |
| Subject | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| SubjectCollection | RDF.AS |
| SubjectEntity | RDF.AS |
| SubjectList | RDF.AS |
| subjects | RDF.Sign |
| SubjectTerm | RDF.AS |
| subKinds | HasCASL.TypeAna |
| Sublogic | |
| 1 (Type/Class) | ExtModal.Sublogic |
| 2 (Data Constructor) | ExtModal.Sublogic |
| 3 (Type/Class) | HasCASL.Sublogic |
| 4 (Data Constructor) | HasCASL.Sublogic |
| 5 (Type/Class) | TPTP.Sublogic |
| sublogic | |
| 1 (Function) | OWL2.ProfilesAndSublogics |
| 2 (Function) | Common.AutoProofUtils |
| 3 (Function) | GUI.GtkConsistencyChecker |
| sublogicBasedTheories | Logic.Grothendieck |
| sublogicDimensions | Logic.Logic |
| SublogicName | Logic.Logic |
| sublogicName | |
| 1 (Function) | Logic.Logic |
| 2 (Function) | TPTP.Sublogic |
| sublogicNodes | Comorphisms.HetLogicGraph |
| sublogicOfBaiscSpec | TPTP.Sublogic |
| sublogicOfMorphism | TPTP.Sublogic |
| sublogicOfSentence | TPTP.Sublogic |
| sublogicOfSign | TPTP.Sublogic |
| sublogicOfSymbol | TPTP.Sublogic |
| sublogicOfTh | Static.GTheory |
| sublogicOfTheo | Logic.Logic |
| sublogicOfTheory | Proofs.AbstractState |
| sublogicOfUnit | TPTP.Sublogic |
| sublogicsAll | QBF.Sublogic |
| sublogicsDim | ExtModal.Sublogic |
| sublogicsMax | QBF.Sublogic |
| sublogicsName | QBF.Sublogic |
| SublogicsPair | |
| 1 (Type/Class) | Logic.Morphism |
| 2 (Data Constructor) | Logic.Morphism |
| sublogics_all | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | CommonLogic.Sublogic |
| 3 (Function) | HasCASL.Sublogic |
| 4 (Function) | Propositional.Sublogic |
| 5 (Function) | THF.Sublogic |
| sublogics_max | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | CommonLogic.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| sublogics_name | |
| 1 (Function) | CASL.Sublogic |
| 2 (Function) | CommonLogic.Sublogic |
| 3 (Function) | Propositional.Sublogic |
| sublogicUp | HasCASL.Sublogic |
| sublogic_max | HasCASL.Sublogic |
| sublogic_min | HasCASL.Sublogic |
| sublogic_name | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | HasCASL.Sublogic |
| sublogic_text | CommonLogic.Sublogic |
| sublogName | ExtModal.Sublogic |
| subnodes | Common.ToXml |
| SubObjectPropertyExpression | OWL2.AS |
| SubObjectPropertyOf | OWL2.AS |
| subObjectPropertyOfK | OWL2.XMLKeywords |
| subObjectPropertyOfS | OWL2.ASKeywords |
| SubObjPropExpr_exprchain | OWL2.AS |
| SubObjPropExpr_obj | OWL2.AS |
| subobjs | Adl.As |
| subPropertyChainC | OWL2.ColonKeywords |
| SubPropertyChainSection | OWL2.PrintMS |
| subPropertyKey | OWL2.Parse |
| SubPropertyOf | OWL2.AS |
| subPropertyOfC | OWL2.ColonKeywords |
| SubPropertyOfSection | OWL2.PrintMS |
| Subs | Logic.Logic |
| subS | CSL.Keywords |
| SubSet | Isabelle.IsaSign |
| subsig_inclusion | Logic.Logic |
| SubSort | Taxonomy.MMiSSOntology |
| Subsort | Maude.AS_Maude |
| SubsortAsItemType | CASL.Sign |
| SubsortBottoms | Comorphisms.CASL2SubCFOL |
| SubsortDecl | Maude.AS_Maude |
| subSortDecl | CASL.SortItem |
| SubsortingFeatures | CASL.Sublogic |
| SubsortRel | Maude.Sign |
| Subsorts | CASL.AS_Basic_CASL |
| subsorts | Maude.Sign |
| subsorts2Ids | Maude.PreComorphism |
| subsortsOf | CASL.Sign |
| SubsortStmnt | Maude.AS_Maude |
| Subsort_decl | CASL.AS_Basic_CASL |
| Subsort_defn | CASL.AS_Basic_CASL |
| Subst | |
| 1 (Type/Class) | CASL.Utils |
| 2 (Type/Class) | HasCASL.Unify |
| subst | HasCASL.Unify |
| substC | HasCASL.Constrain |
| substConditionalF | CASL.Utils |
| substConditionalRecord | CASL.Utils |
| substEqPreds | CASL.Utils |
| substGen | HasCASL.Unify |
| substiF | CASL.CCC.TermFormula |
| substitute | |
| 1 (Function) | CASL.CCC.TermFormula |
| 2 (Function) | CASL.Induction |
| substRec | CASL.CCC.TermFormula |
| substTypeArg | HasCASL.Unify |
| Subst_defn | Syntax.AS_Library |
| subsume | HasCASL.Unify |
| Subsumes | Syntax.AS_Structured |
| subSyms | HasCASL.Symbol |
| subSymsOf | HasCASL.Symbol |
| subtAx | HasCASL.TypeRel |
| subtAxioms | HasCASL.TypeRel |
| subtInjProj | HasCASL.TypeRel |
| subtract3 | FreeCAD.VecTools |
| subtReflex | HasCASL.TypeRel |
| subtRel | HasCASL.TypeRel |
| subtRelName | HasCASL.TypeRel |
| subtRelType | HasCASL.TypeRel |
| subtTrans | HasCASL.TypeRel |
| Subtype | HasCASL.As |
| SubtypeDecl | HasCASL.As |
| SubtypeDefn | HasCASL.As |
| Subtyping | HasCASL.Le, HasCASL.Constrain |
| sub_features | CASL.Sublogic |
| SUC | TPTP.AS |
| Suc | THF.As |
| Success | Static.FromXmlUtils |
| successes | Common.SZSOntology |
| succs | Common.Lib.Rel |
| suleCFOL2SoftFOL | Comorphisms.SuleCFOL2SoftFOL |
| suleCFOL2SoftFOLInduction | Comorphisms.SuleCFOL2SoftFOL |
| suleCFOL2SoftFOLInduction2 | Comorphisms.SuleCFOL2SoftFOL |
| suleCFOL2TPTP | Comorphisms.SuleCFOL2TPTP |
| Sum | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| SummationModExp | Maude.AS_Maude |
| sumS | CSL.Keywords |
| Sunken | GUI.HTkUtils |
| SuperAnnotationProperty | OWL2.AS |
| SuperClass | Taxonomy.MMiSSOntology |
| superClass | CSMOF.As |
| superClasses | QVTR.StatAna |
| SuperClassExpression | OWL2.AS |
| SuperClassSymbol | HasCASL.Le |
| SuperDataPropertyExpression | OWL2.AS |
| superIds | HasCASL.TypeAna |
| SuperObjectPropertyExpression | OWL2.AS |
| SuperRel | Taxonomy.MMiSSOntology |
| supersortsOf | CASL.Sign |
| superTypes | HasCASL.Le |
| SuperTypeSymbol | HasCASL.Le |
| supIds | HasCASL.TypeAna |
| supportsProofObject | SoftFOL.EProver |
| Sur | Adl.As |
| SurveyView | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| svar_sortS | CspCASL.CspCASL_Keywords |
| svgC | PGIP.Output.Mime |
| SW | GUI.HTkUtils |
| swapCmp | CSL.TreePO |
| swapCompare | CSL.TreePO |
| swapIOWithError | GUI.HTkUtils |
| swapTable | Common.AS_Annotation |
| switchKeywords | CSL.Keywords |
| switchOffSimpleSource | GUI.UDGUtils |
| SyKclass | HasCASL.As |
| SyKfun | HasCASL.As |
| SyKop | HasCASL.As |
| SyKpred | HasCASL.As |
| SyKsort | HasCASL.As |
| SyKtype | HasCASL.As |
| Sym | Adl.As |
| sym | SoftFOL.Sign |
| sym2id | Maude.PreComorphism |
| SYMB | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | DFOL.AS_DFOL |
| 4 (Type/Class) | NeSyPatterns.AS |
| 5 (Type/Class) | Propositional.AS_BASIC_Propositional |
| 6 (Type/Class) | QBF.AS_BASIC_QBF |
| 7 (Type/Class) | Temporal.AS_BASIC_Temporal |
| Symb | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 4 (Data Constructor) | DFOL.AS_DFOL |
| 5 (Type/Class) | HasCASL.As |
| 6 (Data Constructor) | HasCASL.As |
| 7 (Data Constructor) | LF.AS |
| 8 (Data Constructor) | NeSyPatterns.AS |
| 9 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 10 (Data Constructor) | QBF.AS_BASIC_QBF |
| symb | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | HasCASL.SymbItem |
| 3 (Function) | NeSyPatterns.Parse |
| symbAnalysis | |
| 1 (Function) | DFOL.Analysis_DFOL |
| 2 (Function) | LF.Analysis |
| symBase | LF.Sign |
| SymbId | QBF.AS_BASIC_QBF |
| symbIdentifier | CommonLogic.Parse_CLIF |
| symbItem | |
| 1 (Function) | CASL.SymbolParser |
| 2 (Function) | OWL2.Parse |
| SYMBITEMS | QBF.AS_BASIC_QBF |
| SymbItems | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| 3 (Type/Class) | OWL2.Symbols |
| 4 (Data Constructor) | OWL2.Symbols |
| 5 (Data Constructor) | QBF.AS_BASIC_QBF |
| 6 (Type/Class) | RDF.Symbols |
| 7 (Data Constructor) | RDF.Symbols |
| symbItems | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CASL.SymbolParser |
| 3 (Function) | CommonLogic.Parse_CLIF |
| 4 (Function) | DFOL.Parse_AS_DFOL |
| 5 (Function) | HasCASL.SymbItem |
| 6 (Function) | LF.Parse |
| 7 (Function) | NeSyPatterns.Parse |
| 8 (Function) | OWL2.Parse |
| 9 (Function) | Propositional.Parse_AS_Basic |
| 10 (Function) | QBF.Parse_AS_Basic |
| symbItemsName | |
| 1 (Function) | CASL.AS_Basic_CASL |
| 2 (Function) | OWL2.Symbols |
| SymbKind | HasCASL.As |
| symbKind | |
| 1 (Function) | CASL.SymbolParser |
| 2 (Function) | HasCASL.SymbItem |
| symbKindToRaw | HasCASL.Le |
| SymbMap | QBF.AS_BASIC_QBF |
| symbMap | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CommonLogic.Parse_CLIF |
| 3 (Function) | HasCASL.SymbItem |
| symbMapAnalysis | |
| 1 (Function) | DFOL.Analysis_DFOL |
| 2 (Function) | LF.Analysis |
| SYMBMAPITEMS | QBF.AS_BASIC_QBF |
| SymbMapItems | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| 3 (Type/Class) | OWL2.Symbols |
| 4 (Data Constructor) | OWL2.Symbols |
| 5 (Data Constructor) | QBF.AS_BASIC_QBF |
| 6 (Type/Class) | RDF.Symbols |
| 7 (Data Constructor) | RDF.Symbols |
| symbMapItems | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CASL.SymbolParser |
| 3 (Function) | CommonLogic.Parse_CLIF |
| 4 (Function) | DFOL.Parse_AS_DFOL |
| 5 (Function) | HasCASL.SymbItem |
| 6 (Function) | LF.Parse |
| 7 (Function) | NeSyPatterns.Parse |
| 8 (Function) | OWL2.Parse |
| 9 (Function) | Propositional.Parse_AS_Basic |
| 10 (Function) | QBF.Parse_AS_Basic |
| symbMapN | CommonLogic.Parse_CLIF |
| symbMapS | CommonLogic.Parse_CLIF |
| symbMaps | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CommonLogic.Parse_CLIF |
| 3 (Function) | HasCASL.SymbItem |
| Symbol | |
| 1 (Type/Class) | CSL.Symbol |
| 2 (Data Constructor) | CSL.Symbol |
| 3 (Type/Class) | CASL.Sign |
| 4 (Data Constructor) | CASL.Sign |
| 5 (Data Constructor) | Adl.Sign |
| 6 (Type/Class) | Adl.Sign |
| 7 (Type/Class) | CommonLogic.Symbol |
| 8 (Data Constructor) | CommonLogic.Symbol |
| 9 (Type/Class) | DFOL.Symbol |
| 10 (Data Constructor) | DFOL.Symbol |
| 11 (Type/Class) | HasCASL.Le |
| 12 (Data Constructor) | HasCASL.Le |
| 13 (Type/Class) | LF.Sign |
| 14 (Data Constructor) | LF.Sign |
| 15 (Type/Class) | Maude.Symbol |
| 16 (Type/Class) | OMDoc.OMDocInterface |
| 17 (Data Constructor) | OMDoc.OMDocInterface |
| 18 (Type/Class) | NeSyPatterns.Symbol |
| 19 (Data Constructor) | NeSyPatterns.Symbol |
| 20 (Type/Class) | PGIP.GraphQL.Result.Symbol |
| 21 (Data Constructor) | PGIP.GraphQL.Result.Symbol |
| 22 (Data Constructor) | Persistence.Schema.Enums |
| 23 (Type/Class) | Persistence.Schema |
| 24 (Data Constructor) | Persistence.Schema |
| 25 (Type/Class) | Propositional.Symbol |
| 26 (Data Constructor) | Propositional.Symbol |
| 27 (Type/Class) | QBF.Symbol |
| 28 (Data Constructor) | QBF.Symbol |
| 29 (Data Constructor) | THF.Cons |
| 30 (Type/Class) | TIP.AbsTIP |
| 31 (Type/Class) | TPTP.Sign |
| 32 (Data Constructor) | TPTP.Sign |
| 33 (Data Constructor) | GUI.HTkUtils |
| 34 (Type/Class) | Temporal.Symbol |
| 35 (Data Constructor) | Temporal.Symbol |
| symbol | |
| 1 (Function) | Common.XPath |
| 2 (Function) | SoftFOL.Sign |
| symbolCommonnesses | Persistence.Reasoning.PremiseSelectionSInE |
| symbolDetails | Persistence.Utils |
| SymbolFileRangeId | Persistence.Schema |
| symbolFileRangeId | Persistence.Schema |
| SymbolFullName | Persistence.Schema |
| symbolFullName | Persistence.Schema |
| symbolGeneratedFrom | OMDoc.OMDocInterface |
| symbolicS | CSL.Keywords |
| SymbolId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| symbolId | |
| 1 (Function) | OMDoc.OMDocInterface |
| 2 (Function) | TPTP.Sign |
| SymbolJSON | HetsAPI.DataTypes |
| SymbolKey | Persistence.Schema |
| SymbolKind | |
| 1 (Type/Class) | Adl.Sign |
| 2 (Type/Class) | Maude.Symbol |
| symbolKind | CASL.Sign |
| symbolList | SoftFOL.Sign |
| SymbolMap | |
| 1 (Type/Class) | CASL.Morphism |
| 2 (Type/Class) | HasCASL.Le |
| 3 (Type/Class) | Maude.Symbol |
| 4 (Type/Class) | THF.Sign |
| symbolMap | Maude.Morphism |
| symbolMapIntersect | THF.Sign |
| SymbolMapping | |
| 1 (Type/Class) | PGIP.GraphQL.Result.SymbolMapping |
| 2 (Data Constructor) | PGIP.GraphQL.Result.SymbolMapping |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| SymbolMappingId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| SymbolMappingKey | Persistence.Schema |
| symbolMappings | PGIP.GraphQL.Result.SignatureMorphism |
| SymbolMappingSignatureMorphismId | Persistence.Schema |
| symbolMappingSignatureMorphismId | Persistence.Schema |
| SymbolMappingSourceId | Persistence.Schema |
| symbolMappingSourceId | Persistence.Schema |
| SymbolMappingTargetId | Persistence.Schema |
| symbolMappingTargetId | Persistence.Schema |
| symbolMappingToResult | PGIP.GraphQL.Resolver.ToResult |
| symbolMapUnion | THF.Sign |
| SymbolName | |
| 1 (Type/Class) | Common.SetColimit |
| 2 (Data Constructor) | Persistence.Schema |
| symbolName | Persistence.Schema |
| SymbolOmsId | Persistence.Schema |
| symbolOmsId | Persistence.Schema |
| SymbolRel | Maude.Symbol |
| SymbolRole | |
| 1 (Type/Class) | OMDoc.DataTypes |
| 2 (Type/Class) | OMDoc.OMDocInterface |
| symbolRole | OMDoc.OMDocInterface |
| Symbols | |
| 1 (Type/Class) | Maude.Symbol |
| 2 (Data Constructor) | PGIP.Query |
| symbols | |
| 1 (Function) | Maude.Sign |
| 2 (Function) | PGIP.GraphQL.Result.Signature |
| 3 (Function) | PGIP.GraphQL.Result.Conjecture |
| 4 (Function) | PGIP.GraphQL.Result.Axiom |
| 5 (Function) | THF.Sign |
| 6 (Function) | Static.ToJson |
| SymbolSet | |
| 1 (Type/Class) | CASL.Morphism |
| 2 (Type/Class) | HasCASL.Le |
| 3 (Type/Class) | Maude.Symbol |
| symbolsOfSentence | TPTP.Morphism.Sentence |
| symbolsOfSign | TPTP.Morphism |
| symbolsRecord | CASL.Quantification |
| SymbolSymbolKind | Persistence.Schema |
| symbolSymbolKind | Persistence.Schema |
| SymbolTHF | THF.Cons |
| symbolToId | |
| 1 (Function) | SoftFOL.Morphism |
| 2 (Function) | TPTP.Morphism |
| symbolToRaw | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CASL.Morphism |
| 3 (Function) | CommonLogic.Symbol |
| 4 (Function) | HasCASL.Le |
| 5 (Function) | NeSyPatterns.Symbol |
| 6 (Function) | Propositional.Symbol |
| 7 (Function) | QBF.Symbol |
| 8 (Function) | Temporal.Symbol |
| symbolToResult | PGIP.GraphQL.Resolver.ToResult |
| symbolToResultUncurried | PGIP.GraphQL.Resolver.ToResult |
| symbolTransl | DFOL.Comorphism |
| SymbolType | |
| 1 (Type/Class) | HasCASL.Le |
| 2 (Type/Class) | THF.Cons |
| 3 (Type/Class) | TPTP.Sign |
| symbolType | |
| 1 (Function) | OMDoc.OMDocInterface |
| 2 (Function) | TPTP.Sign |
| symbolTypeS | TPTP.Sign |
| symbol_to_raw | Logic.Logic |
| SYMBORMAP | QBF.AS_BASIC_QBF |
| SymbOrMap | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| symbOrMapToRaw | HasCASL.RawSym |
| symbPairs | OWL2.Parse |
| symbs | |
| 1 (Function) | CSL.Parse_AS_Basic |
| 2 (Function) | CommonLogic.Parse_CLIF |
| 3 (Function) | HasCASL.SymbItem |
| 4 (Function) | OWL2.Parse |
| 5 (Function) | Static.XGraph |
| symbToRaw | HasCASL.RawSym |
| SymbType | |
| 1 (Type/Class) | CASL.Sign |
| 2 (Type/Class) | HasCASL.As |
| 3 (Data Constructor) | HasCASL.As |
| symbType | CASL.Sign |
| symbTypeToKind | HasCASL.Le |
| Symb_id | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | NeSyPatterns.AS |
| 4 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 5 (Data Constructor) | Temporal.AS_BASIC_Temporal |
| SYMB_ITEMS | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | CommonLogic.AS_CommonLogic |
| 4 (Type/Class) | DFOL.AS_DFOL |
| 5 (Type/Class) | LF.AS |
| 6 (Type/Class) | NeSyPatterns.AS |
| 7 (Type/Class) | Propositional.AS_BASIC_Propositional |
| 8 (Type/Class) | Temporal.AS_BASIC_Temporal |
| Symb_items | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 4 (Data Constructor) | DFOL.AS_DFOL |
| 5 (Data Constructor) | LF.AS |
| 6 (Data Constructor) | NeSyPatterns.AS |
| 7 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 8 (Data Constructor) | Temporal.AS_BASIC_Temporal |
| symb_items_name | Logic.Logic |
| SYMB_KIND | CASL.AS_Basic_CASL |
| Symb_map | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | DFOL.AS_DFOL |
| 4 (Data Constructor) | LF.AS |
| 5 (Data Constructor) | NeSyPatterns.AS |
| 6 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| Symb_mapN | CommonLogic.AS_CommonLogic |
| Symb_mapS | CommonLogic.AS_CommonLogic |
| SYMB_MAP_ITEMS | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | CommonLogic.AS_CommonLogic |
| 4 (Type/Class) | DFOL.AS_DFOL |
| 5 (Type/Class) | LF.AS |
| 6 (Type/Class) | NeSyPatterns.AS |
| 7 (Type/Class) | Propositional.AS_BASIC_Propositional |
| 8 (Type/Class) | Temporal.AS_BASIC_Temporal |
| Symb_map_items | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 4 (Data Constructor) | DFOL.AS_DFOL |
| 5 (Data Constructor) | LF.AS |
| 6 (Data Constructor) | NeSyPatterns.AS |
| 7 (Data Constructor) | Propositional.AS_BASIC_Propositional |
| 8 (Data Constructor) | Temporal.AS_BASIC_Temporal |
| SYMB_OR_MAP | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | CommonLogic.AS_CommonLogic |
| 4 (Type/Class) | DFOL.AS_DFOL |
| 5 (Type/Class) | LF.AS |
| 6 (Type/Class) | NeSyPatterns.AS |
| 7 (Type/Class) | Propositional.AS_BASIC_Propositional |
| symId | THF.Cons |
| symKind | |
| 1 (Function) | CommonLogic.Symbol |
| 2 (Function) | Logic.Logic |
| symlist_of | Logic.Logic |
| symMap | |
| 1 (Function) | DFOL.Morphism |
| 2 (Function) | LF.Morphism |
| 3 (Function) | OWL2.Morphism |
| symMapOf | OWL2.Morphism |
| symmap_of | Logic.Logic |
| symMatch | Adl.Sign |
| Symmetric | OWL2.AS |
| SymmetricObjectProperty | OWL2.AS |
| symmetricObjectPropertyK | OWL2.XMLKeywords |
| symmetricObjectPropertyS | OWL2.ASKeywords |
| symmetricS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| symmetryTheoremS | CspCASLProver.Consts |
| symMod | Static.DgUtils |
| symModule | LF.Sign |
| symName | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | CASL.Sign |
| 3 (Function) | Adl.Sign |
| 4 (Function) | CommonLogic.Symbol |
| 5 (Function) | HasCASL.Le |
| 6 (Function) | LF.Sign |
| 7 (Function) | Propositional.Symbol |
| 8 (Function) | QBF.Symbol |
| 9 (Function) | THF.Cons |
| 10 (Function) | Temporal.Symbol |
| symOf | |
| 1 (Function) | CSL.Symbol |
| 2 (Function) | Adl.Sign |
| 3 (Function) | CASL.Morphism |
| 4 (Function) | CommonLogic.Symbol |
| 5 (Function) | HasCASL.Symbol |
| 6 (Function) | OWL2.Sign |
| 7 (Function) | NeSyPatterns.Symbol |
| 8 (Function) | Propositional.Symbol |
| 9 (Function) | QBF.Symbol |
| 10 (Function) | RDF.Sign |
| 11 (Function) | SoftFOL.Morphism |
| 12 (Function) | Temporal.Symbol |
| syms | Adl.StatAna |
| symsetOf | CASL.Morphism |
| symSets | CspCASL.Symbol |
| symset_of | Logic.Logic |
| symsOf | Adl.StatAna |
| symsOfAnnFrameBit | OWL2.MS |
| symsOfAnnotation | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfAnnotations | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfAxiom | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfClassExpression | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfDataRange | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfDGAtoms | OWL2.AS |
| symsOfDGEdges | OWL2.AS |
| symsOfDLSafeAtoms | OWL2.AS |
| symsOfExtended | OWL2.MS |
| symsOfFact | OWL2.MS |
| symsOfFrameBit | OWL2.MS |
| symsOfGsign | Logic.Grothendieck |
| symsOfIArg | OWL2.AS |
| symsOfListFrameBit | OWL2.MS |
| symsOfObjectPropertyExpression | |
| 1 (Function) | OWL2.AS |
| 2 (Function) | OWL2.MS |
| symsOfSen | Logic.Logic |
| symsOfTerm | SoftFOL.Morphism |
| symsOfTextMeta | CommonLogic.Analysis |
| SymsXml | Driver.Options |
| symType | |
| 1 (Function) | HasCASL.Le |
| 2 (Function) | THF.Cons |
| SymXml | Driver.Options |
| sym_assignS | CSL.Keywords |
| sym_divS | CSL.Keywords |
| sym_equalS | CSL.Keywords |
| sym_expmulS | CSL.Keywords |
| sym_expS | CSL.Keywords |
| sym_geqS | CSL.Keywords |
| sym_greaterS | CSL.Keywords |
| sym_ident | SoftFOL.Sign |
| sym_kind | |
| 1 (Function) | Adl.Sign |
| 2 (Function) | Maude.Symbol |
| 3 (Function) | RelationalScheme.Sign |
| sym_label | Logic.Logic |
| sym_leqS | CSL.Keywords |
| sym_lessS | CSL.Keywords |
| sym_minusS | CSL.Keywords |
| sym_name | Logic.Logic |
| sym_of | Logic.Logic |
| sym_plusS | CSL.Keywords |
| sym_type | SoftFOL.Sign |
| sync | GUI.HTkUtils |
| synchronize | GUI.HTkUtils |
| Synchronized | GUI.HTkUtils |
| synchronous | Common.Doc |
| SynchronousParallel | CspCASL.AS_CspCASL_Process |
| synchronousS | Common.Keywords |
| syncNoWait | GUI.HTkUtils |
| synOpt | Framework.WriteLogicUtils |
| Syntax | Logic.Logic |
| syntax | Framework.AS |
| syntaxC | Framework.AS |
| SyntaxQual | Syntax.AS_Structured |
| syntaxS | Common.Keywords |
| SyntaxTable | Logic.Logic |
| syntaxTable | Logic.Logic |
| syntaxType | OWL2.AS |
| SystemComment | |
| 1 (Type/Class) | THF.As |
| 2 (Type/Class) | TPTP.AS |
| systemStatus | SoftFOL.MathServParsing |
| systemStr | SoftFOL.MathServParsing |
| SystemTerm | THF.As |
| System_Comment_Block | THF.As |
| System_comment_block | TPTP.AS |
| System_Comment_Line | THF.As |
| System_comment_line | TPTP.AS |
| System_constant | TPTP.AS |
| System_functor | TPTP.AS |
| szsCheck | Common.SZSOntology |
| szsDisproved | Common.SZSOntology |
| szsMemoryOut | Common.SZSOntology |
| szsProved | Common.SZSOntology |
| szsStopped | Common.SZSOntology |
| szsTimeout | Common.SZSOntology |
| S_Dag_Source | THF.As |
| S_External_Source | THF.As |
| S_Internal_Source | THF.As |
| S_Sources | THF.As |
| S_Unknown | THF.As |