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

CASL_DL.PredefinedCASLAxioms

Description

 

Synopsis

Documentation

thing :: SORT Source #

OWL topsort Thing

dataS :: SORT Source #

OWL Data topSort DATA

mkNName :: Int -> Token Source #

Build a name

mkDigit :: Int -> TERM () Source #

create a term of type nonNegativeInteger

joinDigits :: TERM () -> TERM () -> TERM () Source #

join two terms of type nonNegativeInteger

negateInt :: TERM () -> TERM () Source #

negate a term of type integer

negateFloat :: TERM () -> TERM () Source #

negate a term of type float

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

upcast a term to a matching sort

mkDecimal :: TERM () -> TERM () -> TERM () Source #

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

mkFloat :: TERM () -> TERM () -> TERM () Source #

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

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