| Radio | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| RadioButton | GUI.HTkUtils |
| raise | GUI.HTkUtils |
| Raised | GUI.HTkUtils |
| raiseItem | GUI.HTkUtils |
| raiseTextTag | GUI.HTkUtils |
| raiseWin | GUI.HTkUtils |
| rand | HolLight.Helper |
| randomnewseedS | CSL.Keywords |
| randomS | CSL.Keywords |
| randRator | HolLight.Helper |
| Range | |
| 1 (Type/Class) | Common.Id |
| 2 (Data Constructor) | Common.Id |
| range | |
| 1 (Function) | Common.Item |
| 2 (Function) | VSE.As |
| rangeAttrs | Common.ToXml |
| rangeAttrsF | Common.ToXml |
| rangeC | OWL2.ColonKeywords |
| Ranged | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| RangedLL | |
| 1 (Type/Class) | CASL.Kif |
| 2 (Data Constructor) | CASL.Kif |
| rangedLL | CASL.Kif |
| RangedProp | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| rangedToJson | Common.Json |
| rangeOfId | Common.Id |
| rangeOp | Isabelle.IsaConsts |
| rangeS | Isabelle.IsaConsts |
| RangeSection | OWL2.PrintMS |
| rangeSpan | Common.Id |
| rangeToJPair | Common.Json |
| rangeToList | Common.Id |
| rangeV | Isabelle.IsaConsts |
| rank | Common.Partial |
| rankBy | Common.Partial |
| rankS | CSL.Keywords |
| Rat | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | TPTP.AS |
| ratargS | CSL.Keywords |
| rational | Common.Lib.Pretty |
| rationalizeS | CSL.Keywords |
| rationalS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| rator | HolLight.Helper |
| ratrpiS | CSL.Keywords |
| ratS | CSL.Keywords |
| ratT | Isabelle.IsaConsts |
| RawData | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| rawId | CspCASL.Symbol |
| RawKind | HasCASL.As |
| rawKind | HasCASL.Le |
| rawKindOfType | HasCASL.TypeAna |
| RawResult | Maude.Language |
| RawSymb | |
| 1 (Type/Class) | OWL2.Symbols |
| 2 (Type/Class) | RDF.Symbols |
| RawSymbol | |
| 1 (Type/Class) | Adl.Sign |
| 2 (Type/Class) | CASL.Morphism |
| 3 (Type/Class) | HasCASL.Le |
| RawSymbolMap | |
| 1 (Type/Class) | CASL.Morphism |
| 2 (Type/Class) | HasCASL.Le |
| rawSymName | |
| 1 (Function) | CASL.Morphism |
| 2 (Function) | HasCASL.Le |
| rawToKind | HasCASL.ClassAna |
| RAW_SYM | LF.Sign |
| rbrace | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| rbrack | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| rceComorphism | PGIP.ReasoningParameters |
| rceGoalConfig | PGIP.ReasoningParameters |
| rceGoalNameM | PGIP.ReasoningParameters |
| rceGSublogic | PGIP.ReasoningParameters |
| rceGTheory | PGIP.ReasoningParameters |
| rceNode | PGIP.ReasoningParameters |
| rceProverMode | PGIP.ReasoningParameters |
| rceReasoner | PGIP.ReasoningParameters |
| rceReasonerConfigurationKeyM | PGIP.ReasoningParameters |
| rceReasoningAttemptKeyM | PGIP.ReasoningParameters |
| rceTimeLimit | PGIP.ReasoningParameters |
| rceUseDatabase | PGIP.ReasoningParameters |
| RDF | |
| 1 (Type/Class) | RDF.Logic_RDF |
| 2 (Data Constructor) | RDF.Logic_RDF |
| rdf | PGIP.Server.Examples |
| RDFEntity | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| RDFEntityType | RDF.AS |
| rdfEntityType | RDF.Parse |
| rdfEntityTypes | RDF.AS |
| rdfFirst | RDF.AS |
| RDFIn | Driver.Options |
| RDFLiteral | |
| 1 (Type/Class) | RDF.AS |
| 2 (Data Constructor) | RDF.AS |
| rdfMap | OWL2.AS |
| RDFMorphism | |
| 1 (Type/Class) | RDF.Morphism |
| 2 (Data Constructor) | RDF.Morphism |
| rdfNil | RDF.AS |
| RDFNumberLit | RDF.AS |
| RDFOut | Driver.Options |
| rdfPlainLiteralS | OWL2.Keywords |
| RDFPrefixMap | RDF.AS |
| rdfRest | RDF.AS |
| rdfsLiteral | OWL2.Keywords |
| rdfsMap | OWL2.AS |
| RDFSub | RDF.Sublogic |
| rdfSymbItems | RDF.Parse |
| rdfSymbMapItems | RDF.Parse |
| rdfSymbPairs | RDF.Parse |
| rdfSymbs | RDF.Parse |
| RdfXml | Driver.Options |
| RDomain | OWL2.Sign |
| RDRange | OWL2.Sign |
| Re | Adl.As |
| reachable | OWL2.Sublogic |
| reachable' | OWL2.Sublogic |
| readAndAnalyse | Driver.ReadMain |
| readAttrVal | Common.XUpdate |
| readCD | OMDoc.XmlInterface |
| readCDName | OMDoc.XmlInterface |
| readCons | Static.XGraph |
| readContents | GUI.UDGUtils |
| readDbl | CSL.Parse_AS_Basic |
| readDGXml | Static.FromXml |
| readDGXmlR | Static.FromXml |
| readEdgeId | Static.XGraph |
| readEncFile | Common.IO |
| readFifo | Common.Utils |
| readFinalVSEOutput | VSE.Prove |
| readFormString | GUI.HTkUtils |
| readFormStringIO | GUI.HTkUtils |
| readFreeCADLib | FreeCAD.Logic_FreeCAD |
| readFromURL | OMDoc.Import |
| readInt | HolLight.HolLight2DG |
| readInt' | HolLight.HolLight2DG |
| readL | Common.SAX |
| readLemmas | VSE.Prove |
| readLib | OMDoc.Import |
| readLibDefn | Driver.ReadLibDefn |
| readMappedInt | HolLight.HolLight2DG |
| readMaybe | Common.Utils |
| readMorph | LF.MorphParser |
| readMorphism | LF.MorphParser |
| readMyMsg | VSE.Prove |
| readMyMsgAux | VSE.Prove |
| readOMName | OMDoc.XmlInterface |
| readOWL | OWL2.DMU2OWL2 |
| readPacket | PGIP.XMLparsing |
| readParseType | HolLight.HolLight2DG |
| readRat | CSL.Parse_AS_Basic |
| readRest | VSE.Prove |
| readSharedHolTerm | HolLight.HolLight2DG |
| readSharedHolType | HolLight.HolLight2DG |
| readShow | Common.Amalgamate |
| readShowAux | Common.Amalgamate |
| readStr | HolLight.HolLight2DG |
| readTermInfo | HolLight.HolLight2DG |
| readTextFromFile | GUI.HTkUtils |
| readTkVariable | GUI.HTkUtils |
| readTuple | HolLight.HolLight2DG |
| readUntilMatchParen | VSE.Prove |
| readUntilMatchParenAux | VSE.Prove |
| readVerbose | Driver.ReadFn |
| readWithTag | Common.SAX |
| readWord | HolLight.HolLight2DG |
| readXmlFile | Common.XmlParser |
| readXPath | Static.DgUtils |
| readXPathComp | Static.DgUtils |
| read_morphism | Logic.Logic |
| read_sml_ATerm | ATC.Sml_cats |
| Real | TPTP.AS |
| realMorphism | Proofs.EdgeUtils |
| realS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | OWL2.Keywords |
| RealTy | TIP.AbsTIP |
| Reason | Logic.Prover |
| Reasoner | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Reasoner |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Reasoner |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| reasoner | PGIP.ReasoningParameters |
| ReasonerConfiguration | |
| 1 (Type/Class) | PGIP.GraphQL.Result.ReasonerConfiguration |
| 2 (Data Constructor) | PGIP.GraphQL.Result.ReasonerConfiguration |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| 5 (Type/Class) | PGIP.ReasoningParameters |
| 6 (Data Constructor) | PGIP.ReasoningParameters |
| reasonerConfiguration | |
| 1 (Function) | PGIP.GraphQL.Result.ReasoningAttempt |
| 2 (Function) | PGIP.ReasoningParameters |
| ReasonerConfigurationConfiguredReasonerId | Persistence.Schema |
| reasonerConfigurationConfiguredReasonerId | Persistence.Schema |
| ReasonerConfigurationId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ReasonerConfigurationKey | Persistence.Schema |
| ReasonerConfigurationTimeLimit | Persistence.Schema |
| reasonerConfigurationTimeLimit | Persistence.Schema |
| reasonerConfigurationToResult | PGIP.GraphQL.Resolver.ToResult |
| ReasonerDisplayName | Persistence.Schema |
| reasonerDisplayName | Persistence.Schema |
| ReasonerId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ReasonerKey | Persistence.Schema |
| ReasonerKind | Persistence.Schema |
| reasonerKind | Persistence.Schema |
| ReasonerKindType | Persistence.Schema.Enums |
| ReasonerOutput | |
| 1 (Type/Class) | PGIP.GraphQL.Result.ReasonerOutput |
| 2 (Data Constructor) | PGIP.GraphQL.Result.ReasonerOutput |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| reasonerOutput | PGIP.GraphQL.Result.ReasoningAttempt |
| ReasonerOutputId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ReasonerOutputKey | Persistence.Schema |
| ReasonerOutputReasonerId | Persistence.Schema |
| reasonerOutputReasonerId | Persistence.Schema |
| ReasonerOutputReasoningAttemptId | Persistence.Schema |
| reasonerOutputReasoningAttemptId | Persistence.Schema |
| ReasonerOutputText | Persistence.Schema |
| reasonerOutputText | Persistence.Schema |
| reasonerOutputToResult | PGIP.GraphQL.Resolver.ToResult |
| ReasonerSlug | Persistence.Schema |
| reasonerSlug | Persistence.Schema |
| reasonerToResult | PGIP.GraphQL.Resolver.ToResult |
| ReasoningAttempt | |
| 1 (Type/Class) | PGIP.GraphQL.Result.ReasoningAttempt |
| 2 (Data Constructor) | PGIP.GraphQL.Result.ReasoningAttempt |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| ReasoningAttemptActionId | Persistence.Schema |
| reasoningAttemptActionId | Persistence.Schema |
| ReasoningAttemptId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ReasoningAttemptKey | Persistence.Schema |
| ReasoningAttemptKind | Persistence.Schema |
| reasoningAttemptKind | Persistence.Schema |
| ReasoningAttemptKindType | Persistence.Schema.Enums |
| ReasoningAttemptReasonerConfigurationId | Persistence.Schema |
| reasoningAttemptReasonerConfigurationId | Persistence.Schema |
| ReasoningAttemptTimeTaken | Persistence.Schema |
| reasoningAttemptTimeTaken | Persistence.Schema |
| reasoningAttemptToResult | PGIP.GraphQL.Resolver.ToResult |
| ReasoningAttemptUsedLogicTranslationId | Persistence.Schema |
| reasoningAttemptUsedLogicTranslationId | Persistence.Schema |
| ReasoningAttemptUsedReasonerId | Persistence.Schema |
| reasoningAttemptUsedReasonerId | Persistence.Schema |
| ReasoningCache | PGIP.ReasoningParameters |
| ReasoningCacheE | PGIP.ReasoningParameters |
| ReasoningCacheGoal | |
| 1 (Type/Class) | PGIP.ReasoningParameters |
| 2 (Data Constructor) | PGIP.ReasoningParameters |
| ReasoningParameters | |
| 1 (Type/Class) | PGIP.ReasoningParameters |
| 2 (Data Constructor) | PGIP.ReasoningParameters |
| rebuiltDG | Static.FromXml |
| rebuiltDgXml | Static.FromXml |
| recalculateSublogicAndSelectedTheory | Proofs.AbstractState |
| recalculateSublogicF | Proofs.AbstractState |
| recArgs | Comorphisms.HasCASL2IsabelleHOL |
| RecDef | Isabelle.IsaSign |
| receive | GUI.HTkUtils |
| receivedRequestBody | PGIP.Shared |
| receiveIO | GUI.HTkUtils |
| recForm | LF.Sign |
| Recognizer | |
| 1 (Type/Class) | OMDoc.OMDocInterface |
| 2 (Data Constructor) | OMDoc.OMDocInterface |
| recognizerName | OMDoc.OMDocInterface |
| recomputeNode | HetsAPI.ProveCommands |
| recomputeNodeLabel | Static.ComputeTheory |
| Record | |
| 1 (Type/Class) | CSL.Fold |
| 2 (Data Constructor) | CSL.Fold |
| 3 (Type/Class) | CASL.Fold |
| 4 (Data Constructor) | CASL.Fold |
| recordConservativityResult | |
| 1 (Function) | Interfaces.Utils |
| 2 (Function) | HetsAPI.ProveCommands |
| recordConsistencyResult | HetsAPI.ProveCommands |
| recordProofResult | HetsAPI.ProveCommands |
| recoverSortGen | CASL.AS_Basic_CASL |
| recoverType | CASL.ToDoc |
| recover_free_Sort_gen_ax | CASL.AS_Basic_CASL |
| recover_Sort_gen_ax | CASL.AS_Basic_CASL |
| recreateSymbols | THF.Utils |
| Rectangle | |
| 1 (Data Constructor) | FreeCAD.As |
| 2 (Type/Class) | GUI.HTkUtils |
| recurse | Driver.Options |
| redAppl | Comorphisms.HasCASL2IsabelleHOL |
| redArgs | Comorphisms.HasCASL2IsabelleHOL |
| rederrS | CSL.Keywords |
| redisplay | |
| 1 (Function) | Taxonomy.AbstractGraphView |
| 2 (Function) | GUI.GraphAbstraction |
| RedoCmd | Interfaces.Command |
| RedoHist | Interfaces.Command |
| redoHistory | Static.DevGraph |
| redoHistStep | Static.History |
| redoList | Interfaces.DataTypes |
| redoOneStep | Interfaces.History |
| redoOneStepWithUpdate | Interfaces.History |
| redOutputToExpression | CSL.Reduce_Interface |
| redraw | GUI.UDGUtils |
| redrawPrim | GUI.UDGUtils |
| redStep | HasCASL.AsUtils |
| redTypedTerm | Comorphisms.HasCASL2THFP_P |
| reduceCommand | CSL.Parse_AS_Basic |
| reduceProcProfile | CspCASL.SignCSP |
| reduceProve | CSL.ReduceProve |
| reduceProver | CSL.ReduceProve |
| reduceS | CSL.Reduce_Interface |
| reduceSens | Logic.Prover |
| Reduction | Syntax.AS_Structured |
| reductS | CSL.Keywords |
| Ref | FreeCAD.As |
| reference | SoftFOL.Sign |
| refinedS | Common.Keywords |
| Refinement | Syntax.AS_Architecture |
| refinementS | Common.Keywords |
| RefinementTreeLink | HetsAPI.Refinement |
| RefinementTreeNode | |
| 1 (Type/Class) | HetsAPI.Refinement |
| 2 (Data Constructor) | HetsAPI.Refinement |
| reflect | Common.LogicT |
| reflectionOperationS | CASL.CompositionTable.Keywords |
| Reflectiontable | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| Reflexive | OWL2.AS |
| reflexive | Common.Lib.Rel |
| ReflexiveObjectProperty | OWL2.AS |
| reflexiveObjectPropertyK | OWL2.XMLKeywords |
| reflexiveObjectPropertyS | OWL2.ASKeywords |
| reflexiveS | OWL2.Keywords |
| reflexivityTheoremS | CspCASLProver.Consts |
| refLib | Static.XGraph |
| reflSen | Maude.PreComorphism |
| refNode | Static.XGraph |
| RefRole | OWL2.Sign |
| refSeqNb | PGIP.XMLstate |
| RefSig | Static.DevGraph |
| refSigComposition | Static.DevGraph |
| RefSigMap | Static.DevGraph |
| refSource | Static.DgUtils |
| refSpec | Syntax.Parse_AS_Architecture |
| RefStUnitCtx | Static.DevGraph |
| Reftabentry | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| reftabentryArgBaseRel | CASL.CompositionTable.CompositionTable |
| reftabentryReflectiveBaseRel | CASL.CompositionTable.CompositionTable |
| refTarget | Static.DgUtils |
| refToRel | Syntax.AS_Structured |
| refTree | Static.DevGraph |
| Refutation | TPTP.AS |
| Refute | Isabelle.IsaSign |
| refuteProver | THF.ProveIsabelle |
| refuteS | Isabelle.IsaConsts |
| ref_libname | Static.DevGraph |
| ref_node | Static.DevGraph |
| REF_SPEC | Syntax.AS_Architecture |
| Ref_spec_defn | Syntax.AS_Library |
| rejectS | Common.Keywords |
| Rel | |
| 1 (Type/Class) | Common.Lib.Rel |
| 2 (Data Constructor) | Adl.Sign |
| relatedProcs | CspCASL.SignCSP |
| relatedSorts | CspCASL.SignCSP |
| RELATION | ConstraintCASL.AS_ConstraintCASL |
| Relation | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| 3 (Type/Class) | CASL.AS_Basic_CASL |
| 4 (Type/Class) | OWL2.AS |
| 5 (Type/Class) | QVTR.As |
| 6 (Data Constructor) | QVTR.As |
| relation | ConstraintCASL.Formula |
| RelationProperty | Taxonomy.MMiSSOntology |
| relationS | Common.Keywords |
| relations | |
| 1 (Function) | OWL2.Medusa |
| 2 (Function) | QVTR.As |
| RelationSen | |
| 1 (Type/Class) | QVTR.Sign |
| 2 (Data Constructor) | QVTR.Sign |
| RelationViewSpec | Taxonomy.AbstractGraphView |
| Relation_Disjunction | ConstraintCASL.AS_ConstraintCASL |
| RELATION_REF | Syntax.AS_Structured |
| relativeFrom | Common.IRI |
| relativeTo | Common.IRI |
| relativize | LF.Twelf2GR |
| releaseGrab | GUI.HTkUtils |
| relExpr | Common.XPath |
| Relief | GUI.HTkUtils |
| relief | GUI.HTkUtils |
| RelInvok | |
| 1 (Type/Class) | QVTR.As |
| 2 (Data Constructor) | QVTR.As |
| relInvokWhen | QVTR.As |
| RelK | Adl.Sign |
| RelMap | Adl.Sign |
| RelName | |
| 1 (Type/Class) | Taxonomy.MMiSSOntology |
| 2 (Data Constructor) | Logic.Logic |
| relName | |
| 1 (Function) | CASL.World |
| 2 (Function) | QVTR.As |
| relOfMod | CASL.World |
| relOps | Common.XPath |
| relPath | Common.XPath |
| rels | Adl.Sign |
| RelScheme | |
| 1 (Type/Class) | RelationalScheme.Logic_Rel |
| 2 (Data Constructor) | RelationalScheme.Logic_Rel |
| RelScheme2CASL | |
| 1 (Type/Class) | Comorphisms.RelScheme2CASL |
| 2 (Data Constructor) | Comorphisms.RelScheme2CASL |
| relsent | CommonLogic.Parse_KIF |
| relSrc | Adl.As |
| relSymb | Comorphisms.CommonLogic2IsabelleHOL |
| relTrg | Adl.As |
| RelType | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| relType | Adl.As |
| RelVar | |
| 1 (Type/Class) | QVTR.As |
| 2 (Data Constructor) | QVTR.As |
| RelViewSpec | Taxonomy.AbstractGraphView |
| relViewSpecs | Taxonomy.AbstractGraphView |
| REL_REF | Logic.Logic |
| remainderS | CSL.Keywords |
| Remainder_e | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| Remainder_f | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| Remainder_t | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| remfacS | CSL.Keywords |
| remindS | CSL.Keywords |
| Remove | Common.XUpdate |
| removeCanvasTag | GUI.HTkUtils |
| removeContraryChanges | Proofs.StatusUtils |
| RemoveCr | Static.XSimplePath |
| removeDOLprefixes | Common.ConvertGlobalAnnos |
| removeFindLeft | Static.XSimplePath |
| removeIdentities | Static.WACocone |
| removeIns | Common.XmlDiff |
| removeOrChangeAttr | Static.XSimplePath |
| removeParensUnitaryFormula | Comorphisms.THFP2THF0 |
| removePrfOut | Driver.Options |
| removeQuantifiers | QBF.Tools |
| removeS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | Common.XUpdate |
| removeSortCycles | CASL.Cycle |
| removeTextTag | GUI.HTkUtils |
| Rename | |
| 1 (Data Constructor) | Common.XUpdate |
| 2 (Type/Class) | CspCASL.AS_CspCASL_Process |
| 3 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| 4 (Type/Class) | HasCASL.MapTerm |
| 5 (Data Constructor) | OWL2.Function |
| reName | Common.AS_Annotation |
| rename | |
| 1 (Function) | Maude.PreComorphism |
| 2 (Function) | Comorphisms.CommonLogic2IsabelleHOL |
| renameConstrInfo | HasCASL.MapTerm |
| Renamed | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| RenameKind | CspCASL.AS_CspCASL_Process |
| renameLabel | Maude.Sign |
| renameOp | Maude.Sign |
| renameOpDefn | HasCASL.MapTerm |
| renameRec | HasCASL.MapTerm |
| RENAMES | Comorphisms.CommonLogic2IsabelleHOL |
| renameSort | Maude.Sign |
| RENAMING | |
| 1 (Type/Class) | CspCASL.AS_CspCASL_Process |
| 2 (Type/Class) | Syntax.AS_Structured |
| Renaming | |
| 1 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| 2 (Data Constructor) | Interfaces.Command |
| 3 (Type/Class) | Maude.AS_Maude |
| 4 (Data Constructor) | Syntax.AS_Structured |
| renaming | Syntax.Parse_AS_Structured |
| RenamingModExp | Maude.AS_Maude |
| RenamingProcess | CspCASL.AS_CspCASL_Process |
| renamMapAnalysis | LF.Analysis |
| render | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Lib.Tabular |
| 3 (Function) | TIP.PrintTIP |
| renderColumns | Common.Lib.Tabular |
| renderExtHtml | Common.Doc |
| renderExtText | Common.Doc |
| renderHLine | Common.Lib.Tabular |
| renderHLine' | Common.Lib.Tabular |
| renderHtml | Common.Doc |
| renderLatex | Common.PrintLaTeX |
| renderStyle | Common.Lib.Pretty |
| renderText | Common.Doc |
| renMorphism | CASL.World |
| renOpMorphism | CASL.World |
| renPredMorphism | CASL.World |
| renumberDGLinks | Static.ComputeTheory |
| ren_proc_close | Common.Doc |
| ren_proc_closeS | Common.Keywords |
| ren_proc_open | Common.Doc |
| ren_proc_openS | Common.Keywords |
| Reparent | GUI.HTkUtils |
| reparseAsId | HasCASL.AsUtils |
| repartS | CSL.Keywords |
| Repeat | CSL.AS_BASIC_CSL |
| repeatDelay | GUI.HTkUtils |
| repeatExpr | CSL.Parse_AS_Basic |
| repeatInterval | GUI.HTkUtils |
| repeatS | CSL.Keywords |
| replace | Common.Utils |
| replaceAnnoted | Common.AS_Annotation |
| replaceBoundVars | Comorphisms.CASL2Skolem |
| replaceChar | OWL2.Translate |
| replaceName | QVTR.ParseQvtAsLibDefn |
| replacePt | HolLight.Sentence |
| replaceVarsF | CASL.Utils |
| replaceVarsRec | CASL.Utils |
| replAlias | HasCASL.FoldType |
| replicateS | TIP.PrintTIP |
| Repository | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| RepositoryId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| RepositoryKey | Persistence.Schema |
| RepositoryOwnerId | Persistence.Schema |
| repositoryOwnerId | Persistence.Schema |
| ReqAxm | CMDL.DataTypes |
| ReqComorphism | CMDL.DataTypes |
| ReqConsCheck | CMDL.DataTypes |
| ReqFile | CMDL.DataTypes |
| ReqLogic | CMDL.DataTypes |
| ReqNodesOrEdges | CMDL.DataTypes |
| ReqNothing | CMDL.DataTypes |
| ReqNumber | CMDL.DataTypes |
| ReqProvers | CMDL.DataTypes |
| reqSubLogicForTHFP | |
| 1 (Function) | Comorphisms.THFP_P2HasCASL |
| 2 (Function) | Comorphisms.HasCASL2THFP_P |
| Request | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| request | GUI.HTkUtils |
| requestBody' | PGIP.RequestCache |
| RequestCacheMap | PGIP.RequestCache |
| RequestMapKey | |
| 1 (Type/Class) | PGIP.RequestCache |
| 2 (Data Constructor) | PGIP.RequestCache |
| requestMethod' | PGIP.RequestCache |
| requireAddFeatures | OWL2.Sublogic |
| requireComplexRoleInclusions | OWL2.Sublogic |
| required | PGIP.GraphQL.Result.ConservativityStatus |
| requiredConservativity | Static.DgUtils |
| requireInverseRoles | OWL2.Sublogic |
| requireNominals | OWL2.Sublogic |
| requireNumberRestrictions | OWL2.Sublogic |
| requirePackage | GUI.HTkUtils |
| requireQualNumberRestrictions | OWL2.Sublogic |
| requireRoleHierarchy | OWL2.Sublogic |
| requireRoleTransitivity | OWL2.Sublogic |
| requireRules | OWL2.Sublogic |
| requiresNode | Interfaces.Command |
| requireUnrestrictedDL | OWL2.Sublogic |
| ReqUnknown | CMDL.DataTypes |
| resci | THF.HasCASL2THF0Buildins |
| resendMsgIfTimeout | PGIP.XMLstate |
| reserved | |
| 1 (Function) | Common.Parsec |
| 2 (Function) | Common.Percent |
| reservedcl | CommonLogic.Lexer_CLIF |
| reservedelement | CommonLogic.Lexer_CLIF |
| reservedelement2 | CommonLogic.Lexer_CLIF |
| reservedWords | VSE.Parse |
| resetErrorAndProcString | CMDL.ProcessScript |
| resetErrorCode | CMDL.DataTypesUtils |
| resetPGIPData | PGIP.XMLstate |
| resetSelection | Proofs.AbstractState |
| resFS | THF.HasCASL2THF0Buildins |
| resId | HasCASL.Builtin |
| resolve | |
| 1 (Function) | HasCASL.MixAna |
| 2 (Function) | LF.Twelf2GR |
| 3 (Function) | PGIP.GraphQL.Resolver.SignatureMorphism |
| 4 (Function) | PGIP.GraphQL.Resolver.Signature |
| 5 (Function) | PGIP.GraphQL.Resolver.Serialization |
| 6 (Function) | PGIP.GraphQL.Resolver.OMS |
| 7 (Function) | PGIP.GraphQL.Resolver.DGraph |
| 8 (Function) | PGIP.GraphQL.Resolver |
| resolveAbbreviatedIRI | RDF.StaticAnalysis |
| resolveBase | RDF.StaticAnalysis |
| resolveC_FORMULA | CoCASL.StatAna |
| resolved2Node | NeSyPatterns.Sign |
| ResolvedMixTerm | HasCASL.As |
| resolvedNeSyId | NeSyPatterns.Sign |
| ResolvedNode | |
| 1 (Type/Class) | NeSyPatterns.Sign |
| 2 (Data Constructor) | NeSyPatterns.Sign |
| resolvedNodeRange | NeSyPatterns.Sign |
| resolveDocument | RDF.StaticAnalysis |
| resolvedOTerm | NeSyPatterns.Sign |
| resolveExtForm | ExtModal.StatAna |
| resolveFormula | CASL.MixfixParser |
| resolveFrameForm | ExtModal.StatAna |
| resolveFullIRI | RDF.StaticAnalysis |
| resolveIRI | |
| 1 (Function) | RDF.StaticAnalysis |
| 2 (Function) | OMDoc.Import |
| resolveMixfix | CASL.MixfixParser |
| resolveMixFrm | CASL.MixfixParser |
| resolveMixTrm | CASL.MixfixParser |
| resolveMod | ExtModal.StatAna |
| resolveMODALITY | CoCASL.StatAna |
| resolveObject | RDF.StaticAnalysis |
| resolvePOList | RDF.StaticAnalysis |
| resolvePredicate | RDF.StaticAnalysis |
| resolvePrefix | |
| 1 (Function) | ExtModal.StatAna |
| 2 (Function) | RDF.StaticAnalysis |
| resolveStatements | RDF.StaticAnalysis |
| resolveSubject | RDF.StaticAnalysis |
| resolveTerm | HasCASL.TypeCheck |
| resolveTriples | RDF.StaticAnalysis |
| resourceFile | GUI.HTkUtils |
| ResourceOut | SoftFOL.MathServParsing |
| restAxiom | CASL.CCC.TermFormula |
| restrict | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| Restricted | Static.DevGraph |
| RestrictedConstraint | VSE.As |
| RESTRICTION | Syntax.AS_Structured |
| restriction | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| 3 (Function) | Syntax.Parse_AS_Structured |
| restrictionAny | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| restrictionOrAtomic | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| RestrictionValue | OWL2.AS |
| restS | CSL.Keywords |
| resType | HasCASL.Builtin |
| Result | |
| 1 (Type/Class) | Common.Result |
| 2 (Data Constructor) | Common.Result |
| 3 (Type/Class) | GUI.HTkUtils |
| 4 (Type/Class) | PGIP.GraphQL.Result |
| 5 (Type/Class) | Taxonomy.AbstractGraphView |
| 6 (Data Constructor) | Taxonomy.AbstractGraphView |
| result | SoftFOL.Sign |
| resultantS | CSL.Keywords |
| resultAxiom | CASL.CCC.TermFormula |
| resultOutput | Interfaces.GenericATPState |
| resultS | Common.Keywords |
| results | Common.AutoProofUtils |
| ResultT | |
| 1 (Type/Class) | Common.ResultT |
| 2 (Data Constructor) | Common.ResultT |
| resultTerm | CASL.CCC.TermFormula |
| resultToMaybe | Common.Result |
| resultToMonad | Common.Result |
| resultToState | CASL.StaticAna |
| Result_defn | Syntax.AS_Library |
| res_OP_TYPE | CASL.AS_Basic_CASL |
| retExtMap | CASL.Morphism |
| retrieveLinkChange | Static.XSimplePath |
| retrieveMorph | LF.Twelf2GR |
| retrieveMorphH | LF.Twelf2GR |
| retrieveNodeChange | Static.XSimplePath |
| retryS | CSL.Keywords |
| Return | VSE.As |
| returnGrab | GUI.HTkUtils |
| returnS | CSL.Keywords |
| revAssocd | HolLight.Helper |
| Revealed | Syntax.AS_Structured |
| revealS | Common.Keywords |
| revealSym | CASL.SymbolMapAnalysis |
| reverse | Common.Lib.SizedList |
| reverseHistory | Static.History |
| ReverseImplication | TPTP.AS |
| reverseInterface | HolLight.Helper |
| reverseS | CSL.Keywords |
| revertDGEdgeTypeName | Static.DgUtils |
| revertRenamingOfLabels | Interfaces.GenericATPState |
| RevImpl | CASL.AS_Basic_CASL |
| revpriS | CSL.Keywords |
| revSortRel | CASL.Sign |
| revSplitlist | HolLight.Helper |
| revVariance | HasCASL.ClassAna |
| Rew | SoftFOL.Sign |
| rewID | Maude.PreComorphism |
| rewPredCong | Maude.PreComorphism |
| rewPredCongPremise | Maude.PreComorphism |
| rewPredicate | Maude.PreComorphism |
| rewPredicates | Maude.PreComorphism |
| rewPredicatesCongSens | Maude.PreComorphism |
| rewPredicateSens | Maude.PreComorphism |
| rewPredicatesSens | Maude.PreComorphism |
| rewPredsCong | Maude.PreComorphism |
| RewriteArg | THF.Poly |
| rewriteAtom | THF.Utils |
| rewriteBinaryFormula | THF.Utils |
| rewriteBinaryFormula' | Comorphisms.THFP2THF0 |
| rewriteBinaryPair | THF.Utils |
| rewriteBinaryTuple | THF.Utils |
| rewriteBinaryTuple' | Comorphisms.THFP2THF0 |
| rewriteConnTerm | THF.Utils |
| rewriteConst | THF.Utils |
| rewriteConst' | Comorphisms.THFP2THF0 |
| rewriteConst4needsConst | THF.Poly |
| rewriteConst_ | THF.Poly |
| rewriteFns | Comorphisms.THFP2THF0 |
| RewriteFuns | |
| 1 (Type/Class) | THF.Utils |
| 2 (Data Constructor) | THF.Utils |
| rewriteLogicFormula | THF.Utils |
| rewriteLogicFormula' | Comorphisms.THFP2THF0 |
| rewriteQuantifiedFormula | THF.Utils |
| rewriteSen | Comorphisms.THFP2THF0 |
| rewriteSen' | Comorphisms.THFP2THF0 |
| rewriteSenFun | THF.Utils |
| rewriteTHF0 | THF.Utils |
| rewriteUnitaryFormula | THF.Utils |
| rewriteVariableList | THF.Utils |
| rewriteVariableList' | Comorphisms.THFP2THF0 |
| rewriteVariableList_ | THF.Poly |
| rexexp | GUI.HTkUtils |
| rExpA | QVTR.As |
| rExpO | QVTR.As |
| rExpre | QVTR.As |
| Rfx | Adl.As |
| Rhombus | GUI.UDGUtils |
| rhsS | CSL.Keywords |
| Ri | Adl.As |
| ribbonsPerLine | Common.Lib.Pretty |
| Ridge | GUI.HTkUtils |
| rightArrow | Common.Keywords |
| RightAssoc | OMDoc.DataTypes |
| RightId | Maude.AS_Maude |
| rightId | Maude.AS_Maude |
| RightLabel | GUI.HTkUtils |
| RightLeft | GUI.UDGUtils |
| rightModel | CSMOF.Parser |
| rightMor | Static.CheckGlobalContext |
| rightPT | Isabelle.IsaConsts |
| rightSign | Static.CheckGlobalContext |
| rightTh | Static.CheckGlobalContext |
| rightTriangle | Logic.Grothendieck |
| right_assocS | Common.Keywords |
| Rigid | |
| 1 (Data Constructor) | Hybrid.AS_Hybrid |
| 2 (Data Constructor) | Modal.AS_Modal |
| 3 (Data Constructor) | GUI.HTkUtils |
| rigidOps | Hybrid.HybridSign |
| rigidPreds | Hybrid.HybridSign |
| rigidS | Common.Keywords |
| rigidSigItems | |
| 1 (Function) | Hybrid.Parse_AS |
| 2 (Function) | Modal.Parse_AS |
| Rigid_op_items | |
| 1 (Data Constructor) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | Hybrid.AS_Hybrid |
| 3 (Data Constructor) | Modal.AS_Modal |
| Rigid_pred_items | |
| 1 (Data Constructor) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | Hybrid.AS_Hybrid |
| 3 (Data Constructor) | Modal.AS_Modal |
| RIGOR | |
| 1 (Type/Class) | Hybrid.AS_Hybrid |
| 2 (Type/Class) | Modal.AS_Modal |
| rigor | |
| 1 (Function) | Hybrid.Parse_AS |
| 2 (Function) | Modal.Parse_AS |
| ringBell | GUI.HTkUtils |
| RIO | FreeCAD.Brep |
| RIRange | OWL2.Sign |
| Rl | Maude.AS_Maude |
| rl2formula | Maude.PreComorphism |
| rlisp88S | CSL.Keywords |
| RlStmnt | Maude.AS_Maude |
| rmargin | GUI.HTkUtils |
| rmImplied | OWL2.Theorem |
| rmIsolated | Common.Lib.Graph |
| rmList | OWL2.Theorem |
| rmNullSets | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| rmOrAddParts | CASL.Sign |
| rmOrAddPartsMap | CASL.Sign |
| rmQuotes | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| rmSomeTypes | HasCASL.PrintAs |
| rmSuffix | Driver.Options |
| rmTopKey | Common.Doc |
| rmTypeRec | HasCASL.PrintAs |
| rmTypesExt | |
| 1 (Function) | Modal.Logic_Modal |
| 2 (Function) | Hybrid.Logic_Hybrid |
| rmTypesT | CASL.SimplifySen |
| Role | |
| 1 (Type/Class) | CSMOF.Sign |
| 2 (Data Constructor) | OWL2.Sign |
| 3 (Type/Class) | SoftFOL.Sign |
| roleHierarchy | OWL2.Sublogic |
| RoleKind | OWL2.Sign |
| roles | CSMOF.Sign |
| rolesetAddToTerm | CommonLogic.Parse_CLIF |
| rolesetFreeName | CommonLogic.Parse_CLIF |
| rolesetMixTerm | CommonLogic.Parse_CLIF |
| rolesetNT | CommonLogic.Parse_CLIF |
| rolesetSentence | CommonLogic.Parse_CLIF |
| rolesetTerm | CommonLogic.Parse_CLIF |
| roleTransitivity | OWL2.Sublogic |
| RoleType | OWL2.Sign |
| rolInfo | CSMOF.StatAna |
| Roman | GUI.HTkUtils |
| rootItem | Common.Item |
| rootmultS | CSL.Keywords |
| rotate | |
| 1 (Function) | FreeCAD.VecTools |
| 2 (Function) | GUI.HTkUtils |
| Round | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| roundallS | CSL.Keywords |
| roundbdS | CSL.Keywords |
| roundedS | CSL.Keywords |
| roundS | CSL.Keywords |
| Row | GUI.HTkUtils |
| row | |
| 1 (Function) | Common.Lib.Tabular |
| 2 (Function) | GUI.HTkUtils |
| rowH | Common.Lib.Tabular |
| Rowspan | GUI.HTkUtils |
| rowvar | CommonLogic.Lexer_KIF |
| rpar | Common.XPath |
| rparen | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| rProp | Adl.As |
| rps | Logic.Comorphism |
| rPut | OMDoc.Import |
| rPut2 | OMDoc.Import |
| rPutIfVerbose | OMDoc.Import |
| Rr | Adl.As |
| RRE | SoftFOL.Sign |
| rs1to1 | RelationalScheme.Keywords |
| rs1to1Id | RelationalScheme.Keywords |
| rs1tom | RelationalScheme.Keywords |
| rs1tomId | RelationalScheme.Keywords |
| rsannos | RelationalScheme.Sign |
| rsArrow | RelationalScheme.Keywords |
| rsArrowId | RelationalScheme.Keywords |
| rsBin | RelationalScheme.Keywords |
| RSbinary | RelationalScheme.Sign |
| rsBinId | RelationalScheme.Keywords |
| rsBool | RelationalScheme.Keywords |
| RSboolean | RelationalScheme.Sign |
| rsBoolId | RelationalScheme.Keywords |
| RSColumn | |
| 1 (Type/Class) | RelationalScheme.Sign |
| 2 (Data Constructor) | RelationalScheme.Sign |
| RSDatatype | RelationalScheme.Sign |
| rsDataTypes | RelationalScheme.Keywords |
| RSdate | RelationalScheme.Sign |
| rsDate | RelationalScheme.Keywords |
| rsDateId | RelationalScheme.Keywords |
| RSdatetime | RelationalScheme.Sign |
| rsDatetime | RelationalScheme.Keywords |
| rsDatetimeId | RelationalScheme.Keywords |
| RSdecimal | RelationalScheme.Sign |
| rsDecimal | RelationalScheme.Keywords |
| rsDecimalId | RelationalScheme.Keywords |
| RSdouble | RelationalScheme.Sign |
| rsDouble | RelationalScheme.Keywords |
| rsDoubleId | RelationalScheme.Keywords |
| RSfloat | RelationalScheme.Sign |
| rsFloat | RelationalScheme.Keywords |
| rsFloatId | RelationalScheme.Keywords |
| rsInclusion | RelationalScheme.Sign |
| RSinteger | RelationalScheme.Sign |
| rsInteger | RelationalScheme.Keywords |
| rsIntegerId | RelationalScheme.Keywords |
| RSIsKey | RelationalScheme.Sign |
| rsKey | RelationalScheme.Keywords |
| rsKeyId | RelationalScheme.Keywords |
| rsKeyWords | RelationalScheme.Keywords |
| RSlong | RelationalScheme.Sign |
| rsLong | RelationalScheme.Keywords |
| rsLongId | RelationalScheme.Keywords |
| RSmany_to_many | RelationalScheme.AS |
| RSmany_to_one | RelationalScheme.AS |
| RSMorphism | |
| 1 (Type/Class) | RelationalScheme.Sign |
| 2 (Data Constructor) | RelationalScheme.Sign |
| rsmto1 | RelationalScheme.Keywords |
| rsmto1Id | RelationalScheme.Keywords |
| rsmtom | RelationalScheme.Keywords |
| rsmtomId | RelationalScheme.Keywords |
| RSnonNegInteger | RelationalScheme.Sign |
| rsNonNegInteger | RelationalScheme.Keywords |
| rsNonNegIntegerId | RelationalScheme.Keywords |
| RSnonPosInteger | RelationalScheme.Sign |
| rsNonPosInteger | RelationalScheme.Keywords |
| rsNonPosIntegerId | RelationalScheme.Keywords |
| RSO | Persistence.Schema.Enums |
| RSone_to_many | RelationalScheme.AS |
| RSone_to_one | RelationalScheme.AS |
| RSPointer | RelationalScheme.Sign |
| rsPointer | RelationalScheme.Keywords |
| rsPointerId | RelationalScheme.Keywords |
| RSQualId | |
| 1 (Type/Class) | RelationalScheme.AS |
| 2 (Data Constructor) | RelationalScheme.AS |
| RSRawSymbol | RelationalScheme.Sign |
| RsrcIO | PGIP.Shared |
| RSRel | |
| 1 (Type/Class) | RelationalScheme.AS |
| 2 (Data Constructor) | RelationalScheme.AS |
| RSRelationships | |
| 1 (Type/Class) | RelationalScheme.AS |
| 2 (Data Constructor) | RelationalScheme.AS |
| rsRelationships | RelationalScheme.Keywords |
| rsRelationshipsId | RelationalScheme.Keywords |
| RSRelType | RelationalScheme.AS |
| RSScheme | |
| 1 (Type/Class) | RelationalScheme.AS |
| 2 (Data Constructor) | RelationalScheme.AS |
| RSstring | RelationalScheme.Sign |
| rsString | RelationalScheme.Keywords |
| rsStringId | RelationalScheme.Keywords |
| RSSymbol | RelationalScheme.Sign |
| RSSymbolKind | RelationalScheme.Sign |
| RSTable | |
| 1 (Type/Class) | RelationalScheme.Sign |
| 2 (Data Constructor) | RelationalScheme.Sign |
| RSTables | |
| 1 (Type/Class) | RelationalScheme.Sign |
| 2 (Data Constructor) | RelationalScheme.Sign |
| rsTables | RelationalScheme.Keywords |
| rsTablesId | RelationalScheme.Keywords |
| rStar | HasCASL.AsUtils |
| RStext | RelationalScheme.Sign |
| rsText | RelationalScheme.Keywords |
| rsTextId | RelationalScheme.Keywords |
| RStime | RelationalScheme.Sign |
| rsTime | RelationalScheme.Keywords |
| rsTimeId | RelationalScheme.Keywords |
| RStimestamp | RelationalScheme.Sign |
| rsTimestamp | RelationalScheme.Keywords |
| rsTimestampId | RelationalScheme.Keywords |
| RSTMap | |
| 1 (Type/Class) | RelationalScheme.Sign |
| 2 (Data Constructor) | RelationalScheme.Sign |
| rStr | QVTR.As |
| RTComp | Static.DevGraph |
| RTLeaf | Static.DgUtils |
| RTLeaves | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| RTLink | Static.DevGraph |
| RTLinkLab | Static.DevGraph |
| RTLinkType | Static.DevGraph |
| rtl_type | Static.DevGraph |
| RTNodeLab | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| rtNodeLab | HetsAPI.Refinement |
| RTNodeType | Static.DevGraph |
| RTNone | Static.DgUtils |
| rtn_diag | Static.DevGraph |
| rtn_name | Static.DevGraph |
| rtn_type | Static.DevGraph |
| RTPlain | Static.DevGraph |
| RTPointer | Static.DgUtils |
| RTRef | Static.DevGraph |
| RTRefine | Static.DevGraph |
| Rule | |
| 1 (Type/Class) | Adl.As |
| 2 (Type/Class) | Common.Earley |
| 3 (Type/Class) | Maude.AS_Maude |
| 4 (Data Constructor) | Maude.Sentence |
| 5 (Type/Class) | OWL2.AS |
| 6 (Data Constructor) | OWL2.AS |
| rule | |
| 1 (Function) | QVTR.Sign |
| 2 (Function) | Static.XGraph |
| ruleAppl | SoftFOL.Sign |
| ruleC | OWL2.ColonKeywords |
| RuleDef | |
| 1 (Type/Class) | QVTR.Sign |
| 2 (Data Constructor) | QVTR.Sign |
| ruleDef | QVTR.Sign |
| RuleFrame | OWL2.PrintMS |
| RuleHeader | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| RuleId | OWL2.PrintMS |
| RuleKind | Adl.As |
| Rules | |
| 1 (Type/Class) | Common.Earley |
| 2 (Data Constructor) | Common.Earley |
| rules | |
| 1 (Function) | Common.Earley |
| 2 (Function) | OWL2.Sublogic |
| RuleSection | OWL2.PrintMS |
| Run | CspCASL.AS_CspCASL_Process |
| runAndLock | GUI.GraphLogic |
| runDarwinProcess | SoftFOL.ProveDarwin |
| runM | Common.SFKT |
| runMaude | Maude.Shellout |
| runMaybeT | Common.Lib.Maybe |
| runMMT | Driver.Options |
| runMSaxState | Common.SAX |
| runOntoDMU | OWL2.DMU2OWL2 |
| RunProver | Interfaces.GenericATPState |
| runProver | Interfaces.GenericATPState |
| runResultT | Common.ResultT |
| runS | CspCASL.CspCASL_Keywords |
| runState | Common.Lib.State |
| runSubParser | CSL.Parse_AS_Basic |
| RunTheProverType | TPTP.Prover.Common |
| runTimedHermit | OWL2.ProveHermit |
| runTimedPellet | OWL2.ProvePellet |
| runTwelf | LF.Twelf2GR |
| runWithVars | CSL.Parse_AS_Basic |
| RwCond | Maude.AS_Maude |
| r_annos | Common.AS_Annotation |
| r_lhs | RelationalScheme.AS |
| r_pos | RelationalScheme.AS |
| r_rhs | RelationalScheme.AS |
| r_type | RelationalScheme.AS |