Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder DFKI 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL.CompositionTable.Keywords

Description

 

Documentation

algebraicSpecificationS :: String

arityS :: String

baseRelationsS :: String

basisEntityS :: String

cnhsS :: String

compositionOperationS :: String

consistencyS :: String

converseOperationS :: String

defCalculusS :: String

homingOperationS :: String

identityRelationS :: String

inverseOperationS :: String

nAryCompositionOperationS :: String

parametricS :: String

qualifierS :: String

reflectionOperationS :: String

shortcutOperationS :: String

tractableSubsetsS :: String