Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Uni Bremen 2004-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhausmann@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CoCASL.StatAna

Contents

Description

static analysis for CoCASL

Synopsis

Documentation

data CoRecord a b c d Source #

Constructors

CoRecord 

Fields

constCoRecord :: ([a] -> a) -> a -> CoRecord a a a a Source #

ana_CODATATYPE_DECL :: GenKind -> CODATATYPE_DECL -> State CSign [Component] Source #

return list of constructors

coselForms1 :: String -> (Maybe Id, OpType, [COCOMPONENTS]) -> (Maybe (Id, TERM f), [VAR_DECL], [(Maybe Id, OpType)]) Source #

comakeDisjToSort :: (Maybe Id, OpType, [COCOMPONENTS]) -> SORT -> Maybe (Named (FORMULA f)) Source #

comakeInjective :: (Maybe Id, OpType, [COCOMPONENTS]) -> Maybe (Named (FORMULA f)) Source #

comakeDisj :: (Maybe Id, OpType, [COCOMPONENTS]) -> (Maybe Id, OpType, [COCOMPONENTS]) -> Maybe (Named (FORMULA f)) Source #

ana_COALTERNATIVE :: SORT -> Annoted COALTERNATIVE -> State CSign (Maybe (Component, Set Component)) Source #

return the constructor and the set of total selectors

ana_COCOMPONENTS :: SORT -> COCOMPONENTS -> State CSign ([Component], [Component]) Source #

return total and partial selectors

Orphan instances