Sygus.ParseSygus

Documentation

module Sygus.Syntax

parse :: [Token] -> [Cmd]

parseCmd :: [Token] -> Cmd

parseIndex :: [Token] -> Index

parseBfTerm :: [Token] -> BfTerm

parseSortedVars :: [Token] -> [SortedVar]

parseSortedVars1 :: [Token] -> [SortedVar]

parseSort :: [Token] -> Sort

parseMaybeGrammarDef :: [Token] -> Maybe GrammarDef

parseGroupedRuleLists1 :: [Token] -> [GroupedRuleList]