Hets - the Heterogeneous Tool Set

Copyright(c) Stef Joosten Christian Maeder DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Adl.StatAna

Description

 

Synopsis

Documentation

data Env Source #

Constructors

Env 

Fields

data TypedRule Source #

Constructors

TypedRule Rule RelType 

Instances

Show TypedRule Source # 

Methods

showsPrec :: Int -> TypedRule -> ShowS

show :: TypedRule -> String

showList :: [TypedRule] -> ShowS

Pretty TypedRule Source # 

typeRule :: Sign -> Rule -> [TypedRule] Source #

analyze rule and return resolved one