{- |

Module : ./CASL/CompositionTable/Keywords.hs

Description : keywords for composition tables

Copyright : (c) Christian Maeder DFKI 2012

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Christian.Maeder@dfki.de

Stability : provisional

Portability : portable

-}

module CASL.CompositionTable.Keywords where

algebraicSpecificationS :: String

algebraicSpecificationS = "algebraic-specification"

arityS :: String

arityS = "arity"

baseRelationsS :: String

baseRelationsS = "base-relations"

basisEntityS :: String

basisEntityS = "basis-entity"

cnhsS :: String

cnhsS = "cnhs"

compositionOperationS :: String

compositionOperationS = "composition-operation"

consistencyS :: String

consistencyS = "consistency"

converseOperationS :: String

converseOperationS = "converse-operation"

defCalculusS :: String

defCalculusS = "def-calculus"

homingOperationS :: String

homingOperationS = "homing-operation"

identityRelationS :: String

identityRelationS = "identity-relation"

inverseOperationS :: String

inverseOperationS = "inverse-operation"

nAryCompositionOperationS :: String

nAryCompositionOperationS = "n-ary-composition-operation"

parametricS :: String

parametricS = "parametric?"

qualifierS :: String

qualifierS = "qualifier"

reflectionOperationS :: String

reflectionOperationS = "reflection-operation"

shortcutOperationS :: String

shortcutOperationS = "shortcut-operation"

tractableSubsetsS :: String

tractableSubsetsS = "tractable-subsets"