Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova, DFKI Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

DFOL.Utils

Description

 

Documentation

truePrec :: Int

falsePrec :: Int

predPrec :: Int

equalPrec :: Int

negPrec :: Int

conjPrec :: Int

disjPrec :: Int

implPrec :: Int

equivPrec :: Int

forallPrec :: Int

existsPrec :: Int

sortPrec :: Int

formPrec :: Int

univPrec :: Int

funcPrec :: Int

piPrec :: Int

data DIAGN a

Constructors

Diagn 

Fields

diags :: [Diagnosis]
 
item :: a
 

Instances

Eq a => Eq (DIAGN a) 
Show a => Show (DIAGN a) 

andD :: [DIAGN Bool] -> DIAGN Bool