| Copyright | (c) Christian Maeder Uni Bremen 2004-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Hybrid.StatAna
Contents
Description
static analysis of hybrid logic parts
Documentation
basicHybridAnalysis :: (BASIC_SPEC H_BASIC_ITEM H_SIG_ITEM H_FORMULA, Sign H_FORMULA HybridSign, GlobalAnnos) -> Result (BASIC_SPEC H_BASIC_ITEM H_SIG_ITEM H_FORMULA, ExtSign (Sign H_FORMULA HybridSign) Symbol, [Named (FORMULA H_FORMULA)]) Source #