Copyright | (c) Klaus Luettich, Dominik Luecke, Uni Bremen 2004-2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe-Inferred |
Abstract syntax for CASL_DL logic extension of CASL Only the added syntax is specified
- type DL_BASIC_SPEC = BASIC_SPEC () () DL_FORMULA
- type AnDLFORM = Annoted (FORMULA DL_FORMULA)
- data CardType
- minCardinalityS :: String
- cardinalityS :: String
- maxCardinalityS :: String
- data DL_FORMULA = Cardinality CardType PRED_SYMB (TERM DL_FORMULA) (TERM DL_FORMULA) (Maybe (FORMULA DL_FORMULA)) Range
- caslDLCardTypes :: [CardType]
- casl_DL_reserved_words :: [String]
Documentation
type DL_BASIC_SPEC = BASIC_SPEC () () DL_FORMULA
type AnDLFORM = Annoted (FORMULA DL_FORMULA)
data CardType
data DL_FORMULA
for a detailed specification of all the components look into the sources
Cardinality CardType PRED_SYMB (TERM DL_FORMULA) (TERM DL_FORMULA) (Maybe (FORMULA DL_FORMULA)) Range |
caslDLCardTypes :: [CardType]