Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL.CompositionTable.CompositionTable

Description

composition tables

Documentation

data Table

Constructors

Table Table_Attrs Compositiontable Conversetable Reflectiontable Models 

Instances

data Table_Attrs

Constructors

Table_Attrs 

Fields

tableName :: String
 
tableIdentity :: Baserel
 
baseRelations :: [Baserel]
 

Instances

newtype Compositiontable

Constructors

Compositiontable [Cmptabentry] 

Instances

data Conversetable

Constructors

Conversetable [Contabentry] 
Conversetable_Ternary 

Fields

inverse :: [Contabentry_Ternary]
 
shortcut :: [Contabentry_Ternary]
 
homing :: [Contabentry_Ternary]
 

Instances

data Reflectiontable

Constructors

Reflectiontable [Reftabentry] 

Instances

newtype Models

Constructors

Models [Model] 

Instances

data Cmptabentry

Constructors

Cmptabentry Cmptabentry_Attrs [Baserel] 

Instances

data Cmptabentry_Attrs

Constructors

Cmptabentry_Attrs 

Fields

cmptabentryArgBaserel1 :: Baserel
 
cmptabentryArgBaserel2 :: Baserel
 

Instances

data Contabentry

Constructors

Contabentry 

Fields

contabentryArgBaseRel :: Baserel
 
contabentryConverseBaseRel :: [Baserel]
 

Instances

data Contabentry_Ternary

Constructors

Contabentry_Ternary 

Fields

contabentry_TernaryArgBaseRel :: Baserel
 
contabentry_TernaryConverseBaseRels :: [Baserel]
 

Instances

data Reftabentry

Constructors

Reftabentry 

Fields

reftabentryArgBaseRel :: Baserel
 
reftabentryReflectiveBaseRel :: Baserel
 

Instances

data Model

Constructors

Model 

Fields

modelString1 :: String
 
modelString2 :: String
 

Instances

newtype Baserel

Constructors

Baserel 

Fields

baserelBaserel :: String
 

Instances