Hsmtlib.Solvers.Cmd.Parser.Visualizers

Documentation

spaces' :: Int -> Int -> String

spaces :: Int -> String

branch' :: Int -> String

branchAr' :: Int -> String

fbranch :: Int -> String -> String -> String

branch :: String -> (Int -> a -> String) -> Int -> a -> String

nLines :: String -> Int

mLines :: String -> Int -> String

showValuationPair :: Int -> ValuationPair -> String

showSpecConstant :: SpecConstant -> String

aTup :: String -> Int -> [a] -> (Int -> a -> String) -> String

dTup :: String -> Int -> String -> a -> (Int -> a -> String) -> String

tup :: String -> Int -> a -> b -> (Int -> a -> String) -> (Int -> b -> String) -> String

tupArray :: String -> Int -> a -> [b] -> (Int -> a -> String) -> (Int -> b -> String) -> String

showQualIdentifier :: Int -> QualIdentifier -> String

showSort :: Int -> Sort -> String

showIdentifier :: Int -> Identifier -> String

showTerm :: Int -> Term -> String

showVarBinding :: Int -> VarBinding -> String

showSortedVar :: Int -> SortedVar -> String

showAttribute :: Int -> Attribute -> String

showAttrValue :: Int -> AttrValue -> String

showSexpr :: Int -> Sexpr -> String