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