hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Common.ATerm.AbstractSyntax
Portability
portable
Stability
provisional
Maintainer
hets@tzi.de
Description
Synopsis
data
ATerm
=
AAppl
String
[
ATerm
] [
ATerm
]
|
AList
[
ATerm
] [
ATerm
]
|
AInt
Integer
[
ATerm
]
data
ShATerm
=
ShAAppl
!
String
![
Int
] ![
Int
]
|
ShAList
![
Int
] ![
Int
]
|
ShAInt
!
Integer
![
Int
]
data
ATermTable
emptyATermTable
::
ATermTable
addATerm
::
ShATerm
->
ATermTable
-> (
ATermTable
,
Int
)
addATerm1
::
ShATerm
->
ATermTable
->
ATermTable
addATermNoFullSharing
::
ShATerm
->
ATermTable
-> (
ATermTable
,
Int
)
getATerm
::
ATermTable
->
ShATerm
getATermFull
::
ATermTable
->
ATerm
getATermIndex
::
ShATerm
->
ATermTable
->
Int
getTopIndex
::
ATermTable
->
Int
getATermByIndex
::
Int
->
ATermTable
-> (
ATermTable
,
ShATerm
)
getATermByIndex1
::
Int
->
ATermTable
->
ATermTable
toATermTable
::
ATerm
->
ATermTable
getReferencingATerms
::
ATermTable
->
Int
->
Int
-> [[
ShATerm
]]
Produced by
Haddock
version 0.6