Hets - the Heterogeneous Tool Set

Index - B

BackIsabelle.IsaSign
backgroundGUI.HTkUtils
backSIsabelle.IsaConsts
BackwardGUI.HTkUtils
BackwardCharsGUI.HTkUtils
backwardCompatibleWithOWL2.Keywords
BackwardLinesGUI.HTkUtils
badLibErrorLF.Analysis
badSigErrorLF.Analysis
badSymsErrorLF.Analysis
badValErrorLF.Analysis
bagofNCommon.LogicT
balancedMaude.Parse
balancemodSCSL.Keywords
barCommon.Doc
barS 
1 (Function)Common.Keywords
2 (Function)Isabelle.IsaConsts
barTCommon.AnnoState
BASELF.Sign
Base 
1 (Type/Class)RDF.AS
2 (Data Constructor)RDF.AS
base64BinarySOWL2.Keywords
baseBLF.Framework
baseChannelsCMDL.DataTypesUtils
basedOnOWL2.AS
BasedUnitSigStatic.ArchDiagram
Based_lambda_unit_sigStatic.ArchDiagram
Based_par_unit_sigStatic.ArchDiagram
Based_unit_sigStatic.ArchDiagram
BaseIndexGUI.HTkUtils
BaselineGUI.HTkUtils
baseListAxiomsCommonLogic.PredefinedCASLAxioms
baseMLF.Framework
basenameCommon.Utils
BaseObject 
1 (Data Constructor)FreeCAD.As
2 (Type/Class)FreeCAD.As
baseQNLF.Twelf2GR
Baserel 
1 (Type/Class)CASL.CompositionTable.CompositionTable
2 (Data Constructor)CASL.CompositionTable.CompositionTable
baserelCASL.CompositionTable.Pretty2
baseRelationsCASL.CompositionTable.CompositionTable
baseRelationsSCASL.CompositionTable.Keywords
baserelBaserelCASL.CompositionTable.CompositionTable
BaseSigIsabelle.IsaSign
baseSig 
1 (Function)Isabelle.IsaSign
2 (Function)LF.Framework
baseSignComorphisms.HasCASL2IsabelleHOL
BaseStatementRDF.AS
baseTermHasCASL.ParseTerm
base_sigLogic.Logic
BasicDriver.Options
basicAna 
1 (Function)CSMOF.StatAna
2 (Function)Adl.StatAna
3 (Function)QVTR.StatAna
4 (Function)VSE.Ana
basicAnaAuxCspCASL.StatAnaCSP
basicAnalysis 
1 (Function)CASL.StaticAna
2 (Function)DFOL.Analysis_DFOL
3 (Function)HasCASL.AsToLe
4 (Function)LF.Analysis
5 (Function)Maude.Shellout
6 (Function)SoftFOL.StatAna
7 (Function)THF.StaticAnalysisTHF
8 (Function)TPTP.StaticAnalysis
basicAnalysisCspCASLCspCASL.StatAnaCSP
basicCASLAnalysisCASL.StaticAna
basicCASL_DLAnalysisCASL_DL.StatAna
basicCoCASLAnalysisCoCASL.StatAna
basicCommonLogicAnalysisCommonLogic.Analysis
basicConstraintCASLAnalysisConstraintCASL.StaticAna
basicCSLAnalysisCSL.Analysis
basicEModalAnalysisExtModal.StatAna
BasicExtResponseStatic.FromXmlUtils
basicFCAnalysisFreeCAD.Logic_FreeCAD
basicFplAnalysisFpl.StatAna
basicHybridAnalysisHybrid.StatAna
basicInferenceNodeProofs.InferBasic
BasicItemHasCASL.As
BASICITEMSQBF.AS_BASIC_QBF
basicItems 
1 (Function)CASL.Parse_AS_Basic
2 (Function)HasCASL.ParseItem
basicModalAnalysisModal.StatAna
basicNeSyPatternsAnalysisNeSyPatterns.Analysis
basicOWL2AnalysisOWL2.StaticAnalysis
BasicProof 
1 (Type/Class)Static.GTheory
2 (Data Constructor)Static.GTheory
basicProofToConStatusProofs.ConsistencyCheck
basicProofToGStatusCommon.GtkGoal
basicPropositionalAnalysis 
1 (Function)Propositional.Analysis
2 (Function)QBF.Analysis
basicRDFAnalysisRDF.StaticAnalysis
basicRenamesComorphisms.CommonLogic2IsabelleHOL
BASICSPECQBF.AS_BASIC_QBF
BasicSpec 
1 (Type/Class)HasCASL.As
2 (Data Constructor)HasCASL.As
3 (Data Constructor)QBF.AS_BASIC_QBF
basicSpec 
1 (Function)CSL.Parse_AS_Basic
2 (Function)CASL.Parse_AS_Basic
3 (Function)CommonLogic.Parse_KIF
4 (Function)CommonLogic.Parse_CLIF
5 (Function)DFOL.Parse_AS_DFOL
6 (Function)HasCASL.ParseItem
7 (Function)LF.Parse
8 (Function)NeSyPatterns.Parse
9 (Function)Propositional.Parse_AS_Basic
10 (Function)QBF.Parse_AS_Basic
11 (Function)RDF.Parse
12 (Function)Syntax.Parse_AS_Structured
13 (Function)TopHybrid.Parse_AS
basicSpecParserLogic.Logic
basicSpecPrinterLogic.Logic
basicSpecSyntaxesLogic.Logic
BasicSpecTHF 
1 (Type/Class)THF.Cons
2 (Data Constructor)THF.Cons
BasicTypeCommon.XPath
basicTypeCommon.XPath
basic_analysisLogic.Logic
Basic_arch_specSyntax.AS_Architecture
BASIC_ITEM 
1 (Type/Class)CSL.AS_BASIC_CSL
2 (Type/Class)DFOL.AS_DFOL
3 (Type/Class)LF.AS
4 (Type/Class)NeSyPatterns.AS
BASIC_ITEMS 
1 (Type/Class)CASL.AS_Basic_CASL
2 (Type/Class)CommonLogic.AS_CommonLogic
3 (Type/Class)Propositional.AS_BASIC_Propositional
basic_Rel_analysisRelationalScheme.StaticAnalysis
BASIC_SPEC 
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)TPTP.AS
9 (Type/Class)Temporal.AS_BASIC_Temporal
Basic_spec 
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)Syntax.AS_Structured
9 (Data Constructor)TPTP.AS
10 (Data Constructor)Temporal.AS_BASIC_Temporal
basisEntitySCASL.CompositionTable.Keywords
basItemStatAnaExtModal.StatAna
batchTimeEnvInterfaces.GenericATPState
batchTimeLimitProofs.BatchProcessing
bboxGUI.HTkUtils
BCursor 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
BeforeCommon.XUpdate
beforeGUI.HTkUtils
beginS 
1 (Function)CSL.Keywords
2 (Function)Isabelle.IsaConsts
begPlaceCommon.Id
behaviourallySCommon.Keywords
bellGUI.HTkUtils
belowCommon.Lib.Tabular
belowItemGUI.HTkUtils
besideCommon.Lib.Tabular
bestRangeHasCASL.As
BExpQVTR.As
bExpQVTR.As
bfspaceSCSL.Keywords
bgGUI.HTkUtils
bgstippleGUI.HTkUtils
BiconditionalCommonLogic.AS_CommonLogic
bigIncrementGUI.HTkUtils
BiImplicationTopHybrid.AS_TopHybrid
Binary_connectiveTPTP.AS
binConjIsabelle.IsaConsts
binConstComorphisms.HasCASL2IsabelleHOL
bind 
1 (Function)CSL.AS_BASIC_CSL
2 (Function)GUI.HTkUtils
Binder 
1 (Data Constructor)HolLight.Term
2 (Type/Class)TIP.AbsTIP
3 (Data Constructor)TIP.AbsTIP
bindersHasCASL.Le
bindiCommon.LogicT
BindInfo 
1 (Type/Class)CSL.AS_BASIC_CSL
2 (Data Constructor)CSL.AS_BASIC_CSL
BindInfoMapCSL.AS_BASIC_CSL
Binding 
1 (Type/Class)TIP.AbsTIP
2 (Data Constructor)TIP.AbsTIP
bindingVarPosCSL.AS_BASIC_CSL
binDisjIsabelle.IsaConsts
bindPCommon.Keywords
bindPathGUI.HTkUtils
bindPathSimpleGUI.HTkUtils
bindSimpleGUI.HTkUtils
binEqIsabelle.IsaConsts
binEqvIsabelle.IsaConsts
binEqvSimIsabelle.IsaConsts
binEq_PreAlphabetCspCASLProver.Consts
binImageOpIsabelle.IsaConsts
binImplIsabelle.IsaConsts
binLogOpsSoftFOL.PrintTPTP
binMembershipIsabelle.IsaConsts
BinOpCommonLogic.AS_CommonLogic
BinOpAttr 
1 (Data Constructor)HasCASL.As
2 (Type/Class)HasCASL.As
BinPredCspCASL.AS_CspCASL_Process
binUnionIsabelle.IsaConsts
binVNameApplIsabelle.IsaConsts
bitemsTopHybrid.AS_TopHybrid
BitMapGUI.HTkUtils
bitmapGUI.HTkUtils
BitMapDesignatorGUI.HTkUtils
BitMapFileGUI.HTkUtils
BitMapHandle 
1 (Type/Class)GUI.HTkUtils
2 (Data Constructor)GUI.HTkUtils
BitMapItemGUI.HTkUtils
BlackGUI.GraphTypes
blacklistDriver.Options
BlankGUI.UDGUtils
bListHasCASL.Builtin
Block 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
3 (Data Constructor)Isabelle.IsaSign
4 (Data Constructor)VSE.As
blockVSE.As
blockCommentMaude.Parse
blockPrioIsabelle.IsaExport
Block_Attrs 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
BlueGUI.GraphTypes
BNFC'NoPositionTIP.AbsTIP
BNFC'Position 
1 (Type/Class)TIP.AbsTIP
2 (Data Constructor)TIP.AbsTIP
Body 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
3 (Type/Class)Isabelle.IsaParse
4 (Data Constructor)Isabelle.IsaParse
5 (Type/Class)OWL2.AS
bodyHolLight.Helper
bodySOWL2.ASKeywords
Body_Isabelle.IsaExport
Body_AxiomsIsabelle.IsaExport
Body_ClsIsabelle.IsaExport
Body_ConstsIsabelle.IsaExport
Body_DatatypesIsabelle.IsaExport
Body_DefinitionIsabelle.IsaExport
Body_DefsIsabelle.IsaExport
Body_DomainsIsabelle.IsaExport
Body_FixrecIsabelle.IsaExport
Body_FunsIsabelle.IsaExport
Body_InstanceIsabelle.IsaExport
Body_InstantiationIsabelle.IsaExport
Body_LemmaIsabelle.IsaExport
Body_LocaleIsabelle.IsaExport
Body_PrimrecIsabelle.IsaExport
Body_SubclassIsabelle.IsaExport
Body_TypedefIsabelle.IsaExport
Body_TypeSynonymIsabelle.IsaExport
BoldGUI.HTkUtils
BoldFontStyleGUI.UDGUtils
BoldItalicFontStyleGUI.UDGUtils
BooleanCommon.XPath
booleanImportedMaude.PreComorphism
booleanKeywordsCSL.Keywords
booleanLitOWL2.ParseMS
booleanSOWL2.Keywords
boolFormCASL.AS_Basic_CASL
boolOfTermHolLight.Helper
boolop_binaryCommonLogic.Parse_KIF
boolop_naryCommonLogic.Parse_KIF
boolop_quantCommonLogic.Parse_KIF
boolSigVSE.Ana
boolSortFpl.Sign
boolTIsabelle.IsaConsts
BoolTermFpl.As
boolTermFpl.As
BoolTyTIP.AbsTIP
boolType 
1 (Function)Fpl.Sign
2 (Function)Isabelle.IsaConsts
BOOL_SENTCommonLogic.AS_CommonLogic
Bool_sentCommonLogic.AS_CommonLogic
bOpsHasCASL.Builtin
BorderGUI.UDGUtils
BorderSource 
1 (Type/Class)GUI.UDGUtils
2 (Data Constructor)GUI.UDGUtils
borderwidthGUI.HTkUtils
bot 
1 (Function)Common.Lattice, CASL.Sublogic
2 (Function)DFOL.Comorphism
botciTHF.HasCASL2THF0Buildins
botCoFormulaSortsComorphisms.CoCASL2CoSubCFOL
botCoSortsComorphisms.CoCASL2CoSubCFOL
botFormulaSortsComorphisms.CASL2SubCFOL
botFSTHF.HasCASL2THF0Buildins
BothGUI.HTkUtils
BothDirectionsCommon.AS_Annotation
BothEndsGUI.HTkUtils
bothLits 
1 (Function)Propositional.Fold
2 (Function)QBF.Tools
botIdHasCASL.Builtin
botSortsComorphisms.CASL2SubCFOL
botSublogicExtModal.Sublogic
botTermSortsComorphisms.CASL2SubCFOL
botTok 
1 (Function)CASL.Project
2 (Function)DFOL.Comorphism
BottomGUI.HTkUtils
bottom 
1 (Function)CASL.Sublogic
2 (Function)CommonLogic.Sublogic
3 (Function)HasCASL.Sublogic
4 (Function)HasCASL.ProgEq
5 (Function)Propositional.Sublogic
6 (Function)QBF.Sublogic
7 (Function)TPTP.Sublogic
bottomDataPropOWL2.Keywords
BottomLabelGUI.HTkUtils
bottomObjectPropertyOWL2.AS
bottomObjPropOWL2.Keywords
bottomProfileOWL2.Profiles
bottomPTIsabelle.IsaConsts
bottomSOWL2.ProfilesAndSublogics
bottomSublogicLogic.Logic
BottomUpGUI.UDGUtils
botType 
1 (Function)HasCASL.Builtin
2 (Function)Comorphisms.CASL2SubCFOL
Bound 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
boundBodyPosCSL.AS_BASIC_CSL
boundIndexIsabelle.IsaExport
boundlistCommonLogic.Parse_CLIF
Box 
1 (Data Constructor)ExtModal.AS_ExtModal
2 (Data Constructor)FreeCAD.As
3 (Data Constructor)GUI.UDGUtils
4 (Data Constructor)TPTP.AS
5 (Type/Class)GUI.HTkUtils
6 (Data Constructor)TopHybrid.AS_TopHybrid
7 (Data Constructor)VSE.As
BoxOpExtModal.AS_ExtModal
boxOrDiamandProgVSE.Parse
BoxOrDiamond 
1 (Data Constructor)CoCASL.AS_CoCASL
2 (Data Constructor)ExtModal.AS_ExtModal
3 (Data Constructor)Hybrid.AS_Hybrid
4 (Data Constructor)Modal.AS_Modal
5 (Type/Class)VSE.As
Box_iTPTP.AS
Box_intTPTP.AS
Box_PTPTP.AS
bracedListCspCASL.Parse_CspCASL_Process
bracePCommon.Token
BracesHasCASL.As
braces 
1 (Function)Common.Lib.Pretty
2 (Function)Common.Lexer
3 (Function)Common.Doc
bracesP 
1 (Function)LF.MorphParser
2 (Function)OWL2.ParseMS
3 (Function)OWL2.Parse
bracketHasCASL.PrintAs
BracketedFunDec 
1 (Type/Class)TIP.AbsTIP
2 (Data Constructor)TIP.AbsTIP
BracketKindHasCASL.As
bracketPCommon.Token
bracketParserHasCASL.ParseTerm
brackets 
1 (Function)Common.Lib.Pretty
2 (Function)Common.Lexer
3 (Function)Common.Doc
bracketsP 
1 (Function)LF.MorphParser
2 (Function)OWL2.ParseMS
3 (Function)OWL2.Parse
BracketTermHasCASL.As
BracketTypeHasCASL.As
BracketTypePatternHasCASL.As
BranchRefSigStatic.DevGraph
BranchSigStatic.DevGraph
BranchStaticContextStatic.DevGraph
Break 
1 (Type/Class)Isabelle.IsaExport
2 (Data Constructor)Isabelle.IsaExport
3 (Data Constructor)Isabelle.IsaSign
breakPrioIsabelle.IsaExport
bRelsAdl.As
brepToXmlBinaryFreeCAD.Brep
breveCommon.Doc
brIdCommonLogic.PredefinedCASLAxioms
BridgeSyntax.AS_Structured
BriefClauseSoftFOL.Sign
broadcastGUI.UDGUtils
BroadcasterGUI.UDGUtils
BroadcasterClassGUI.UDGUtils
BrokerSoftFOL.MathServParsing
brokerNameSoftFOL.MathServMapping
BrowseGUI.HTkUtils
bsComorphisms.HolLight2Isabelle
BSetCASL.CompositionTable.ModelTable
BspecTopHybrid.AS_TopHybrid
BStContextStatic.DevGraph
bsToItem 
1 (Function)CASL.ToItem
2 (Function)HasCASL.ToItem
bsToSignFreeCAD.Logic_FreeCAD
bTypeHasCASL.Builtin
bTypeArgHasCASL.Builtin
bTypesHasCASL.Builtin
buildGraphLF.Twelf2GR
buildInfoCSMOF.StatAna
buildInstancesCSMOF.StatAna
buildKeyCQVTR.StatAna
buildKeyConstrQVTR.StatAna
buildKeyDefQVTR.StatAna
buildKeyDefsQVTR.StatAna
buildLinksCSMOF.StatAna
buildMapFromListTopHybrid.Utilities
buildPatternQVTR.StatAna
buildRelationsQVTR.StatAna
buildRulesQVTR.StatAna
buildSenCSMOF.StatAna
buildSentences 
1 (Function)CSMOF.StatAna
2 (Function)QVTR.StatAna
buildSignature 
1 (Function)CSMOF.StatAna
2 (Function)QVTR.StatAna
buildSignatureInfoCSMOF.StatAna
buildStrMorphismsStatic.WACocone
buildTreeOWL2.Sublogic
buildVMapCASL.Utils
BuiltinCommon.Data
BuiltInAtomOWL2.AS
builtInAtomKOWL2.XMLKeywords
builtInAtomSOWL2.ASKeywords
builtXGraphStatic.XGraph
bulletCommon.Doc
Button 
1 (Data Constructor)GUI.UDGUtils
2 (Type/Class)GUI.HTkUtils
buttonGUI.HTkUtils
Button1GUI.HTkUtils
Button2GUI.HTkUtils
Button3GUI.HTkUtils
Button4GUI.HTkUtils
Button5GUI.HTkUtils
buttonColoursGUI.HTkUtils
ButtonPressGUI.HTkUtils
ButtonReleaseGUI.HTkUtils
ButtonWidgetGUI.HTkUtils
ByIsabelle.IsaSign
byeSCSL.Keywords
byFunctionsSoftFOL.Sign
bySIsabelle.IsaConsts
byteSOWL2.Keywords