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 HaskellNone

Propositional.Parse_AS_Basic

Description

Parser for abstract syntax for propositional logic

Ref. http://en.wikipedia.org/wiki/Propositional_logic

Synopsis

Documentation

basicSpec :: PrefixMap -> AParser st BASIC_SPEC Source #

Toplevel parser for basic specs

symbItems :: GenParser Char st SYMB_ITEMS Source #

Parse a list of comma separated symbols.

symbMapItems :: GenParser Char st SYMB_MAP_ITEMS Source #

parse a list of symbol mappings

impFormula :: AParser st FORMULA Source #

Parser for formulae with implications