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 Source #

Constructors

Table2 String Int (IntMap Baserel) BSet CmpTbl ConTables 

type BSet = IntSet Source #

type CmpTbl = IntMap (IntMap IntSet) Source #

type ConTable = IntMap IntSet Source #

type ConTables = (ConTable, ConTable, ConTable, ConTable) Source #

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

toTable2 :: Table -> Table2 Source #

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

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

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

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