Hets - the Heterogeneous Tool Set

Copyright(c) Uni and DFKI Bremen 2005-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL_DL.PredefinedCASLAxioms

Description

 

Synopsis

Documentation

predefinedSign :: e -> Sign f e

thing :: SORT

OWL topsort Thing

dataS :: SORT

OWL Data topSort DATA

mkNName :: Int -> Token

Build a name

mkDigit :: Int -> TERM ()

create a term of type nonNegativeInteger

joinDigits :: TERM () -> TERM () -> TERM ()

join two terms of type nonNegativeInteger

negateInt :: TERM () -> TERM ()

negate a term of type integer

negateFloat :: TERM () -> TERM ()

negate a term of type float

upcast :: TERM () -> SORT -> TERM ()

upcast a term to a matching sort

mkDecimal :: TERM () -> TERM () -> TERM ()

create the float given by two non-negative integers separated by the decimal point

mkFloat :: TERM () -> TERM () -> TERM ()

construct the E float, where the second argument is of type integer

consChar :: Char -> TERM () -> TERM ()

trueT :: TERM ()

falseT :: TERM ()