| Copyright | (c) Klaus Hartke, Uni Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
Temporal.AS_BASIC_Temporal
Description
pretty poor abstract syntax of temporal Basic_spec, Formula, Symb_items and Symb_map_items.
Documentation
data FORMULA
Constructors
| Formula |
Instances
| Eq FORMULA | |
| Data FORMULA | |
| Ord FORMULA | |
| Show FORMULA | |
| ShATermConvertible FORMULA | |
| GetRange FORMULA | |
| Pretty FORMULA | |
| Typeable * FORMULA | |
| Sentences Temporal FORMULA Sign Morphism Symbol | Instance of Sentences for temporal logic |
| StaticAnalysis Temporal BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol | Static Analysis for propositional logic |
| Logic Temporal () BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol () | Instance of Logic for propositional logc |
data BASIC_SPEC
Constructors
| Basic_spec |
Instances
| Data BASIC_SPEC | |
| Show BASIC_SPEC | |
| ShATermConvertible BASIC_SPEC | |
| Monoid BASIC_SPEC | |
| GetRange BASIC_SPEC | |
| Pretty BASIC_SPEC | |
| Typeable * BASIC_SPEC | |
| Syntax Temporal BASIC_SPEC Symbol () () | Syntax of Temporal logic |
| StaticAnalysis Temporal BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol | Static Analysis for propositional logic |
| Logic Temporal () BASIC_SPEC FORMULA () () Sign Morphism Symbol Symbol () | Instance of Logic for propositional logc |
data SYMB_ITEMS
Constructors
| Symb_items |
data SYMB_MAP_ITEMS
Constructors
| Symb_map_items |