Copyright | (c) Dominik Luecke, Uni Bremen 2007 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | luecke@informatik.uni-bremen.de |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe-Inferred |

Definition of symbols for propositional logic

# Documentation

newtype Symbol

Datatype for symbols

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 |

getSymbolMap :: Morphism -> Map Symbol Symbol

Determines the symbol map of a morhpism

getSymbolName :: Symbol -> Id

Determines the name of a symbol

symbolToRaw :: Symbol -> Symbol

convert to raw symbol