Copyright | (c) Eugen Kuksa, Uni Bremen 2011 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | eugenk@informatik.uni-bremen.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Tools for CommonLogic static analysis
Documentation
freeName :: (String, Int) -> Set NAME -> (NAME, Int)
Finds a free discourse name (appends "_" at the end until free name found) given the set of all discourse names
indvC_text :: TEXT -> Set NAME
retrieves the individual constants from a text
indvC_term :: TERM -> Set NAME
retrieves the individual constants from a term
setUnion_list :: Ord b => (a -> Set b) -> [a] -> Set b
maps f
to ts
and unifies the results