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-Inferred

CommonLogic.Tools

Description

Tools for CommonLogic static analysis

Synopsis

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_sen :: SENTENCE -> Set NAME

retrieves the individual constants from a sentence

indvC_term :: TERM -> Set NAME

retrieves the individual constants from a term

prd_text :: TEXT -> Set NAME

Retrieves all predicates from a text

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

maps f to ts and unifies the results