Copyright | DFKI GmbH 2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | codruta.liliana@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
static analysis of modal logic parts
Documentation
freePrefixVars :: Sign EM_FORMULA e -> FormPrefix -> Set (VAR, SORT) Source #
freeModVars :: Sign EM_FORMULA e -> MODALITY -> Set (VAR, SORT) Source #
basicEModalAnalysis :: (BASIC_SPEC EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA, Sign EM_FORMULA EModalSign, GlobalAnnos) -> Result (BASIC_SPEC EM_BASIC_ITEM EM_SIG_ITEM EM_FORMULA, ExtSign (Sign EM_FORMULA EModalSign) Symbol, [Named (FORMULA EM_FORMULA)]) Source #
checkConstr :: Sign EM_FORMULA EModalSign -> [Named (FORMULA EM_FORMULA)] -> Result () Source #
anaFrameForm :: Mix b s EM_FORMULA EModalSign -> FrameForm -> State (Sign EM_FORMULA EModalSign) (FrameForm, FrameForm) Source #
clearVarMap :: State (Sign f e) () Source #
addTermMod :: Sign f e -> Id -> EModalSign -> Result EModalSign Source #
addTimeMod :: Id -> EModalSign -> Result EModalSign Source #
addMod :: Id -> EModalSign -> Result EModalSign Source #
addNom :: Id -> EModalSign -> Result EModalSign Source #
addFlexOp :: OpType -> Id -> EModalSign -> Result EModalSign Source #
addFlexPred :: PredType -> Id -> EModalSign -> Result EModalSign Source #
extraSigItems :: EM_SIG_ITEM -> IdSets Source #
parenExtForm :: EM_FORMULA -> EM_FORMULA Source #
mapExtMod :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> MODALITY -> MODALITY Source #
mapExtPrefix :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> FormPrefix -> FormPrefix Source #
mapExtForm :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> EM_FORMULA -> EM_FORMULA Source #
mapExtFrameForm :: (FORMULA EM_FORMULA -> FORMULA EM_FORMULA) -> FrameForm -> FrameForm Source #
anaFORMULA :: Mix b s EM_FORMULA EModalSign -> Sign EM_FORMULA EModalSign -> FORMULA EM_FORMULA -> Result (FORMULA EM_FORMULA, FORMULA EM_FORMULA) Source #
getEFormPredToks :: EM_FORMULA -> Set Token Source #
getFormPredToks :: FORMULA EM_FORMULA -> Set Token Source #
Orphan instances
TermExtension EM_FORMULA Source # | |
freeVarsOfExt :: Sign EM_FORMULA e -> EM_FORMULA -> VarSet Source # optTermSort :: EM_FORMULA -> Maybe SORT Source # sortOfTerm :: EM_FORMULA -> SORT Source # termToFormula :: TERM EM_FORMULA -> Result (FORMULA EM_FORMULA) Source # |