Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI GmbH 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainer<jonathan.von_schroeder@dfki.de>
Stabilityexperimental
Portabilityportable
Safe HaskellNone

QBF.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 BASICSPEC

Toplevel parser for basic specs

symbItems :: GenParser Char st SYMBITEMS

Parse a list of comma separated symbols.

symbMapItems :: GenParser Char st SYMBMAPITEMS

parse a list of symbol mappings