Hets - the Heterogeneous Tool Set

Copyright(c) (c) Klaus Luettich and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Modal.Utils

Description

 

Documentation

getModTermSort :: Id -> Id

addNonEmptyLabel :: String -> Maybe (Named a) -> Maybe (Named a)

modToTerm :: MODALITY -> Maybe (TERM M_FORMULA)

addTerm :: ([VAR] -> TERM M_FORMULA -> TERM ()) -> PRED_NAME -> [Maybe (TERM M_FORMULA)] -> [VAR] -> Maybe (Named CASLFORMULA) -> Maybe (Named CASLFORMULA)