SmtLib-0.1.0.0: Library for parsing SMTLIB2

CopyrightRogério Pontes 2015
LicenseWTFPL
Maintainerrogerp62@outlook.com
Stabilitystable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Smtlib.Parsers.CommandsParsers

Description

This module contains all the required individual parsers for each Smtlib command, plus one parser to parse an entire SMTLib2 file, parseSource.

Documentation

parseSource :: ParsecT String u Identity Source Source

parseCommand :: ParsecT String u Identity Command Source

parseSetLogic :: ParsecT String u Identity Command Source

parseSetOption :: ParsecT String u Identity Command Source

parseSetInfo :: ParsecT String u Identity Command Source

parseDeclareSort :: ParsecT String u Identity Command Source

parseDefineSort :: ParsecT String u Identity Command Source

parseDeclareFun :: ParsecT String u Identity Command Source

parseDefineFun :: ParsecT String u Identity Command Source

parsePush :: ParsecT String u Identity Command Source

parsePop :: ParsecT String u Identity Command Source

parseAssert :: ParsecT String u Identity Command Source

parseCheckSat :: ParsecT String u Identity Command Source

parseGetAssertions :: ParsecT String u Identity Command Source

parseGetProof :: ParsecT String u Identity Command Source

parseGetUnsatCore :: ParsecT String u Identity Command Source

parseGetValue :: ParsecT String u Identity Command Source

parseGetAssignment :: ParsecT String u Identity Command Source

parseGetOption :: ParsecT String u Identity Command Source

parseGetInfo :: ParsecT String u Identity Command Source

parseExit :: ParsecT String u Identity Command Source

parseOption :: ParsecT String u Identity Option Source

parsePrintSuccess :: ParsecT String u Identity Option Source

parseExpandDefinitions :: ParsecT String u Identity Option Source

parseInteractiveMode :: ParsecT String u Identity Option Source

parseProduceProofs :: ParsecT String u Identity Option Source

parseProduceUnsatCores :: ParsecT String u Identity Option Source

parseProduceModels :: ParsecT String u Identity Option Source

parseProduceAssignments :: ParsecT String u Identity Option Source

parseRegularOutputChannel :: ParsecT String u Identity Option Source

parseDiagnosticOutputChannel :: ParsecT String u Identity Option Source

parseRandomSeed :: ParsecT String u Identity Option Source

parseVerbosity :: ParsecT String u Identity Option Source

parseOptionAttribute :: ParsecT String u Identity Option Source

parseInfoFlags :: ParsecT String u Identity InfoFlags Source

parseErrorBehaviour :: ParsecT String u Identity InfoFlags Source

parseName :: ParsecT String u Identity InfoFlags Source

parseAuthors :: ParsecT String u Identity InfoFlags Source

parseVersion :: ParsecT String u Identity InfoFlags Source

parseStatus :: ParsecT String u Identity InfoFlags Source

parseReasonUnknown :: ParsecT String u Identity InfoFlags Source

parseAllStatistics :: ParsecT String u Identity InfoFlags Source

parseInfoKeyword :: ParsecT String u Identity InfoFlags Source