Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Temporal.Symbol

Description

Definition of symbols for propositional logic

Synopsis

Documentation

newtype Symbol

Datatype for symbols

Constructors

Symbol 

Fields

symName :: Id
 

Instances

Eq Symbol 
Ord Symbol 
Show Symbol 
ShATermConvertible Symbol 
GetRange Symbol 
Pretty Symbol 
Typeable * Symbol 
Sentences Temporal FORMULA Sign Morphism Symbol

Instance of Sentences for temporal logic

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

pretty :: Pretty a => a -> Doc

symOf :: Sign -> Set Symbol

Extraction of symbols from a signature

getSymbolMap :: Morphism -> Map Symbol Symbol

Determines the symbol map of a morhpism

getSymbolName :: Symbol -> Id

Determines the name of a symbol

idToRaw :: Id -> Symbol

make a raw_symbol

symbolToRaw :: Symbol -> Symbol

convert to raw symbol

matches :: Symbol -> Symbol -> Bool

does a smybol match a raw symbol?

applySymMap :: Map Symbol Symbol -> Symbol -> Symbol

application function for Symbol Maps