| 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 |
CASL_DL.AS_CASL_DL
Description
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
Constructors
| Cardinality CardType PRED_SYMB (TERM DL_FORMULA) (TERM DL_FORMULA) (Maybe (FORMULA DL_FORMULA)) Range |
Instances
caslDLCardTypes :: [CardType]