Documentation

type Rulelist = [(Rule, Bool)]

type TPDBParser a = ParsecT String (Problem, Rulelist) (ErrorT ParseError (Writer [ParseWarning])) a

warn :: ParseWarning -> TPDBParser ()

problemFromString :: String -> Either ParseError (Problem, Rulelist, [ParseWarning])

parseProblem :: TPDBParser (Problem, Rulelist)

modifyProblem :: (Problem -> Problem) -> TPDBParser ()

onSignature :: SignatureMonad a -> TPDBParser a

getSymbol :: FunctionName -> Arity -> TPDBParser Symbol

getVariables :: TPDBParser Variables

onVariables :: VariableMonad a -> TPDBParser a

addFreshVar :: String -> TPDBParser ()

addStrictRule :: Rule -> TPDBParser ()

addWeakRule :: Rule -> TPDBParser ()

speclist :: TPDBParser ()

spec :: TPDBParser ()

varlist :: TPDBParser ()

listofrules :: TPDBParser ()

rule :: TPDBParser ()

term :: TPDBParser Term

sexpr :: TPDBParser Term

complexterm :: TPDBParser Term

simpleterm :: TPDBParser Term

termlist :: TPDBParser [Term]

condlist :: TPDBParser [()]

cond :: TPDBParser ()

listofthdecl :: TPDBParser ()

thdecl :: TPDBParser ()

theq :: TPDBParser [()]

thid :: TPDBParser [String]

eqlist :: TPDBParser [()]

equation :: TPDBParser ()

strategydecl :: TPDBParser ()

sfull :: TPDBParser ()

sinner :: TPDBParser ()

souter :: TPDBParser ()

scons :: TPDBParser ()

csstratlist :: TPDBParser ReplacementMap

csstrat :: TPDBParser (Symbol, [Int])

intlist :: TPDBParser [Int]

oneint :: TPDBParser Int

starttermdecl :: TPDBParser ()

sta :: TPDBParser ()

scb :: TPDBParser ()

sautomat :: TPDBParser ()

automatonstuff :: TPDBParser ()

typeofproof :: TPDBParser ()

ident :: TPDBParser String

laxident :: TPDBParser String

anylist :: TPDBParser ()

anylist1 :: TPDBParser ()

anylist2 :: TPDBParser ()

anylist3 :: TPDBParser ()

anylist4 :: TPDBParser ()

anylist5 :: TPDBParser ()

astring :: TPDBParser String

idlist :: TPDBParser [String]

whitespace :: TPDBParser Char

whitespaces :: TPDBParser String

whitespaces1 :: TPDBParser String

inwhite :: TPDBParser a -> TPDBParser a

finwhite :: TPDBParser a -> TPDBParser a