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 Source #

Toplevel parser for basic specs

symbItems :: GenParser Char st SYMBITEMS Source #

Parse a list of comma separated symbols.

symbMapItems :: GenParser Char st SYMBMAPITEMS Source #

parse a list of symbol mappings