hets -- a heterogenous Specification (CASL) tool set
Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
:
!
$
&
+
<
@
\
Index (I)
IMPORTED
Syntax.AS_Structured
IOResult
1 (Type/Class)
Common.Result
2 (Data Constructor)
Common.Result
ITEM_NAME
Syntax.AS_Library
ITEM_NAME_OR_MAP
Syntax.AS_Library
Id
1 (Type/Class)
Common.Id
2 (Data Constructor)
Common.Id
IdComorphism
1 (Type/Class)
Logic.Comorphism
2 (Data Constructor)
Logic.Comorphism
IdMap
HasCASL.Morphism
IdMonad
1 (Type/Class)
ATC.Comorphism
2 (Data Constructor)
ATC.Comorphism
Idem
HasCASL.As
Idem_op_attr
CASL.AS_Basic_CASL
IdentTable
Haskell.Hatchet.Rename
Ids
HasCASL.AsToIds
IgnoreMaybe
Common.Utils
IgnoreNothing
Common.Utils
Implication
CASL.AS_Basic_CASL
Implicit
1 (Data Constructor)
CASL.AS_Basic_CASL
2 (Data Constructor)
HasCASL.Symbol
Imported
Syntax.AS_Structured
InMode
HasCASL.ParseTerm
InType
1 (Data Constructor)
HasCASL.As
2 (Type/Class)
Options
3 (Data Constructor)
Options
InVar
HasCASL.As
Indirect_link
Syntax.AS_Library
InsertEdge
Proofs.Proofs
InsertNode
Proofs.Proofs
Inst
Haskell.Hatchet.Representation
InstOpId
1 (Type/Class)
HasCASL.As
2 (Data Constructor)
HasCASL.As
Instance
1 (Type/Class)
HasCASL.As
2 (Data Constructor)
HasCASL.As
3 (Data Constructor)
Haskell.Hatchet.Utils
Instantiate
Haskell.Hatchet.Type
IntTok
Haskell.Hatchet.HsLexer
Interleaving_parallel
CspCASL.AS_CSP_CASL
Intern
Options
Internal
HasCASL.As
Internal_choice
CspCASL.AS_CSP_CASL
Intersection
HasCASL.As
IsIn
1 (Data Constructor)
HasCASL.As
2 (Data Constructor)
Haskell.Hatchet.Representation
IsoDecl
HasCASL.As
Iso_decl
CASL.AS_Basic_CASL
Item_name
Syntax.AS_Library
Item_name_map
Syntax.AS_Library
idComorphismTc
Logic.Comorphism
idMor
CASL.Morphism
idToOpSymbol
1 (Function)
CASL.Morphism
2 (Function)
HasCASL.Morphism
idToPredSymbol
CASL.Morphism
idToRaw
1 (Function)
CASL.Morphism
2 (Function)
HasCASL.Morphism
idToSortSymbol
CASL.Morphism
idToTypeSymbol
HasCASL.Morphism
idToken
HasCASL.ParseTerm
id_to_raw
Logic.Logic
ide
Logic.Logic
ideMor
HasCASL.Morphism
idemS
Common.Keywords
ident
Haskell.Hatchet.ParseLib
identifier
Haskell.Hatchet.ParseLib
idsOfBasicItem
HasCASL.AsToIds
idsOfBasicSpec
HasCASL.AsToIds
idsOfClassItem
HasCASL.AsToIds
idsOfOpItem
HasCASL.AsToIds
idsOfSigItems
HasCASL.AsToIds
idsToTypePatterns
HasCASL.TypeDecl
ifS
1 (Function)
Common.Keywords
2 (Function)
CspCASL.CCKeywords
ifT
CspCASL.CCLexer
ifTerm
HasCASL.ParseTerm
ifThenElse
HasCASL.MixAna
ifType
HasCASL.TypeCheck
if_detect
CASL.Print_AS_Basic
illegalTypePattern
HasCASL.TypeDecl
illegalTypePatternArg
HasCASL.TypeDecl
image
1 (Function)
Common.Lib.Map
2 (Function)
Common.Lib.Rel
3 (Function)
Common.Lib.Set
implId
HasCASL.MixAna
implS
Common.Keywords
importSpecToExportSpec
Haskell.Hatchet.MultiModule
improveDiag
HasCASL.Merge
inS
1 (Function)
Common.Keywords
2 (Function)
CspCASL.CCKeywords
inT
CspCASL.CCLexer
inTypes
Options
in_basic_spec
CASL.Sublogic
in_morphism
CASL.Sublogic
in_sentence
CASL.Sublogic
in_sign
CASL.Sublogic
in_symb_items
CASL.Sublogic
in_symb_items_list
CASL.Sublogic
in_symb_map_items
CASL.Sublogic
in_symb_map_items_list
CASL.Sublogic
in_symbol
CASL.Sublogic
incSourceColumn
Common.Lib.Parsec
,
Common.Lib.Parsec.Pos
incSourceLine
Common.Lib.Parsec
,
Common.Lib.Parsec.Pos
inclusion
Logic.Logic
inclusionList
Comorphisms.LogicGraph
inclusionMor
HasCASL.Morphism
inclusions
Logic.Grothendieck
indeg
Common.Lib.Graph
indeg'
Common.Lib.Graph
indegree
Haskell.Hatchet.Digraph
inducedFromMorphism
1 (Function)
CASL.SymbolMapAnalysis
2 (Function)
HasCASL.SymbolMapAnalysis
inducedFromToMorphism
1 (Function)
CASL.SymbolMapAnalysis
2 (Function)
HasCASL.SymbolMapAnalysis
induced_from_morphism
Logic.Logic
induced_from_to_morphism
Logic.Logic
infer
HasCASL.TypeCheck
inferAppl
HasCASL.TypeCheck
inferCaseEq
HasCASL.TypeCheck
inferCaseEqs
HasCASL.TypeCheck
inferKind
HasCASL.TypeAna
inferLetEq
HasCASL.TypeCheck
inferPat
HasCASL.TypeCheck
inferRawKind
HasCASL.TypeAna
infiles
Options
infixDecls
Haskell.Hatchet.MultiModule
,
Haskell.Hatchet.MultiModuleBasics
infixIf
HasCASL.MixAna
infixer
Haskell.Hatchet.Infix
initChart
Common.Earley
initGlobalAnnos
Syntax.GlobalLibraryAnnotations
initPatternRules
HasCASL.MixAna
initTermRules
HasCASL.MixAna
initgraphs
GUI.AbstractGraphView
initialEnv
HasCASL.Le
initialPos
Common.Lib.Parsec.Pos
initial_keyword_latex
Common.LaTeX_funs
, Common.PPUtils
initializeConverter
GUI.ConvertDevToAbstractGraph
initializeGraph
GUI.ConvertDevToAbstractGraph
inn
Common.Lib.Graph
inn'
Common.Lib.Graph
innerList
Common.Token
innerListGT
Common.PPUtils
innerMix1
Common.Token
innerMix2
Common.Token
insEdge
Common.Lib.Graph
insEdges
Common.Lib.Graph
insNode
Common.Lib.Graph
insNodes
Common.Lib.Graph
insert
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
3 (Function)
Common.Lib.Rel
4 (Function)
Common.Lib.Set
insertLookupWithKey
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
insertWith
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
insertWithKey
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
inst
Haskell.Hatchet.TIMonad
,
Haskell.Hatchet.Type
instOpId
HasCASL.ParseTerm
instScheme
HasCASL.Unify
instanceS
HasCASL.HToken
instantiate
HasCASL.TypeCheck
int
1 (Function)
Common.Lib.Pretty
2 (Function)
Haskell.Hatchet.ParseLib
3 (Function)
Haskell.Hatchet.PPrint,
Haskell.Hatchet.Pretty
intChoiceProcess
CspCASL.Parse_hugo
intChoiceS
CspCASL.CCKeywords
intChoiceT
CspCASL.CCLexer
integer
1 (Function)
Common.Lib.Pretty
2 (Function)
Common.SimpPretty
3 (Function)
Haskell.Hatchet.ParseLib
4 (Function)
Haskell.Hatchet.PPrint,
Haskell.Hatchet.Pretty
interParaProcess
CspCASL.Parse_hugo
interParaS
CspCASL.CCKeywords
interParaT
CspCASL.CCLexer
interim
CspCASL.Parse_hugo
internalItems
HasCASL.ParseItem
internalS
HasCASL.HToken
intersectCombFM
Haskell.Hatchet.FiniteMaps
intersectFM
Haskell.Hatchet.FiniteMaps
intersection
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
3 (Function)
Common.Lib.Set
intersectionWith
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Map
intersectionWithKey
Common.Lib.Map
intype
Options
invContext
GUI.ConvertDevToAbstractGraph
ioBind
Common.Result
ioToIORes
Common.Result
ioresToIO
Common.Result
isAnnote
Common.AS_Annotation
isAssoc
Common.GlobalAnnotations
isBindDecl
Haskell.Hatchet.Utils
isComment
Common.AS_Annotation
isDGRef
Static.DevGraph
isDataDecl
Haskell.Hatchet.Utils
isEmpty
1 (Function)
Common.DFiniteMap
2 (Function)
Common.Lib.Graph
3 (Function)
Common.Lib.Map
4 (Function)
Common.Lib.Pretty
5 (Function)
Common.Lib.Rel
6 (Function)
Common.Lib.Set
7 (Function)
Common.SimpPretty
isEmptyFM
Common.Lib.SimpleMap
isEmptySig
CASL.Sign
isFloat
CASL.LiteralFuns
isFloating
Common.Lexer
isFrac
CASL.LiteralFuns
isGlobalDef
Proofs.Proofs
isGlobalThm
Proofs.Proofs
isImplied
Common.AS_Annotation
isInfix
Common.Id
isInfix2
Common.Id
isLabel
Common.AS_Annotation
isList
CASL.LiteralFuns
isLitToken
Common.Lexer
isLiteral
CASL.LiteralFuns
isLocalDef
Proofs.Proofs
isMixfix
Common.Id
isNonCompound
Common.Id
isNullPos
Common.Id
isNumber
1 (Function)
CASL.LiteralFuns
2 (Function)
Common.Lexer
isOrdAppl
Common.Id
isPlace
Common.Id
isPostfix
Common.Id
isPrefix
Common.Id
isProofCycle
Proofs.Proofs
isProven
Proofs.Proofs
isProvenGlobalThm
Proofs.Proofs
isProvenLocalThm
Proofs.Proofs
isQualified
Haskell.Hatchet.Utils
isSemanticAnno
Common.AS_Annotation
isSigDecl
Haskell.Hatchet.Utils
isSignedNumber
CASL.LiteralFuns
isSimpleId
Common.Id
isSingle
Common.Id
isString
1 (Function)
CASL.LiteralFuns
2 (Function)
Common.Lexer
isSubEnv
HasCASL.Morphism
isSubSig
CASL.Sign
isSurround
Common.Id
isSymbol
Haskell.Hatchet.HsLexer
isTypeVar
HasCASL.TypeAna
isTypeVarDefn
HasCASL.Le
isUnifiable
HasCASL.Unify
isUnknownId
Common.Earley
isUnprovenGlobalThm
Proofs.Proofs
isUnprovenLocalThm
Proofs.Proofs
isVarDefn
HasCASL.Le
is_first_spec_in_param
Common.GlobalAnnotations
is_in_basic_spec
Logic.Logic
is_in_morphism
Logic.Logic
is_in_sentence
Logic.Logic
is_in_sign
Logic.Logic
is_in_symb_items
Logic.Logic
is_in_symb_map_items
Logic.Logic
is_in_symbol
Logic.Logic
is_inside_gen_arg
Common.GlobalAnnotations
is_latex_print
Common.GlobalAnnotations
is_subsig
Logic.Logic
isoDecl
HasCASL.ParseItem
italiccorrection_map
Common.LaTeX_maps
item
1 (Function)
Common.AS_Annotation
2 (Function)
Haskell.Hatchet.ParseLib
itemAux
Common.AnnoState
itemList
Common.AnnoState
itemNameOrMap
Syntax.Parse_AS_Library
iterPatCharts
HasCASL.MixAna
iterateCharts
HasCASL.MixAna