hets -- a heterogenous Specification (CASL) tool setContentsIndex
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