Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.CompositionTable.ModelTable

Description

 

Documentation

data Table2

Constructors

Table2 String Int (IntMap Baserel) BSet CmpTbl ConTables 

type BSet = IntSet

type CmpTbl = IntMap (IntMap IntSet)

type ConTable = IntMap IntSet

type ConTables = (ConTable, ConTable, ConTable, ConTable)

lkup :: (Show a, Ord a) => a -> Map a Int -> Int

toTable2 :: Table -> Table2

toCmpTbl :: Map Baserel Int -> [Cmptabentry] -> CmpTbl

toConTab :: Map Baserel Int -> (a -> Baserel) -> (a -> [Baserel]) -> [a] -> ConTable

toConTab2 :: Map Baserel Int -> [Contabentry_Ternary] -> ConTable

toConTables :: Map Baserel Int -> Conversetable -> ConTables