Portability	portable
Stability	provisional
Maintainer	Ahn, Ki Yung <kya@pdx.edu>
Safe Haskell	Safe-Infered

Math.SMT.Yices.Parser

Description

Parser for the yices syntax. Yet incomplete since it does not include bit vectors, and not heavily tested at all. See http://yices.csl.sri.com/language.shtml for details.

Synopsis

Documentation

typY :: GenParser Char st TypY Source

parsec parser for yices types

expY :: GenParser Char st ExpY Source

parsec parser for yices expressions

cmdY :: GenParser Char st CmdY Source

parsec parser for yices command

parseTypY :: String -> TypY Source

parse a string of yices type format

parseExpY :: String -> ExpY Source

parse a string of yices expression format

parseExpYs :: String -> [ExpY]Source

parse a string of many yices expressions

parseCmdY :: String -> CmdY Source

parse a string of yices command format