{- |
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"
