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 #

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

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