Copyright | (c) Kristina Sojakova, DFKI Bremen 2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | k.sojakova@jacobs-university.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
DFOL.AS_DFOL
Description
Documentation
data BASIC_SPEC
Constructors
Basic_spec [Annoted BASIC_ITEM] |
Instances
data BASIC_ITEM
Constructors
Decl_item DECL | |
Axiom_item FORMULA |
data TYPE
data FORMULA
Constructors
T | |
F | |
Pred TERM | |
Equality TERM TERM | |
Negation FORMULA | |
Conjunction [FORMULA] | |
Disjunction [FORMULA] | |
Implication FORMULA FORMULA | |
Equivalence FORMULA FORMULA | |
Forall [DECL] FORMULA | |
Exists [DECL] FORMULA |
Instances
data SYMB_ITEMS
Constructors
Symb_items [SYMB] |
Instances
data SYMB_MAP_ITEMS
Constructors
Symb_map_items [SYMB_OR_MAP] |
Instances
data SYMB_OR_MAP
termRecForm :: TERM -> TERM
termFlatForm :: TERM -> (NAME, [TERM])
typeRecForm :: TYPE -> TYPE
typeFlatForm :: TYPE -> TYPE
formulaRecForm :: FORMULA -> FORMULA
formulaFlatForm :: FORMULA -> FORMULA
printNames :: [NAME] -> Doc
printDecls :: [DECL] -> Doc
getVarsFromDecls :: [DECL] -> [NAME]
getVarTypeFromDecls :: NAME -> [DECL] -> Maybe TYPE
compactDecls :: [DECL] -> [DECL]
expandDecls :: [DECL] -> [SDECL]
class Translatable a where
Instances
getNewName :: NAME -> Set NAME -> NAME
getFreeVars :: TYPE -> Set NAME