Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

CommonLogic.Tools

Description

Tools for CommonLogic static analysis

Synopsis

Documentation

freeName :: (String, Int) -> Set NAME -> (NAME, Int) Source #

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 Source #

retrieves the individual constants from a text

indvC_sen :: SENTENCE -> Set NAME Source #

retrieves the individual constants from a sentence

indvC_term :: TERM -> Set NAME Source #

retrieves the individual constants from a term

prd_text :: TEXT -> Set NAME Source #

Retrieves all predicates from a text

setUnion_list :: Ord b => (a -> Set b) -> [a] -> Set b Source #

maps f to ts and unifies the results