UHC.Util.CHR.Solve.TreeTrie.Examples.Term.Main

Documentation

data RunOpt

Constructors

RunOpt_DebugTrace

include debugging trace in output

RunOpt_SucceedOnLeftoverWork

left over unresolvable (non residue) work is also a successful result

RunOpt_SucceedOnFailedSolve

failed solve is considered also a successful result, with the failed constraint as a residue

RunOpt_WriteVisualization

write visualization (html file) to disk

RunOpt_Verbosity Verbosity

Instances

Eq RunOpt

Methods

(==) :: RunOpt -> RunOpt -> Bool

(/=) :: RunOpt -> RunOpt -> Bool

data Verbosity

Constructors

Verbosity_Quiet

Verbosity_Normal

Verbosity_ALot

Instances

Enum Verbosity

Methods

succ :: Verbosity -> Verbosity

pred :: Verbosity -> Verbosity

toEnum :: Int -> Verbosity

fromEnum :: Verbosity -> Int

enumFrom :: Verbosity -> [Verbosity]

enumFromThen :: Verbosity -> Verbosity -> [Verbosity]

enumFromTo :: Verbosity -> Verbosity -> [Verbosity]

enumFromThenTo :: Verbosity -> Verbosity -> Verbosity -> [Verbosity]

Eq Verbosity

Methods

(==) :: Verbosity -> Verbosity -> Bool

(/=) :: Verbosity -> Verbosity -> Bool

Ord Verbosity

Methods

compare :: Verbosity -> Verbosity -> Ordering

(<) :: Verbosity -> Verbosity -> Bool

(<=) :: Verbosity -> Verbosity -> Bool

(>) :: Verbosity -> Verbosity -> Bool

(>=) :: Verbosity -> Verbosity -> Bool

max :: Verbosity -> Verbosity -> Verbosity

min :: Verbosity -> Verbosity -> Verbosity

Show Verbosity

Methods

showsPrec :: Int -> Verbosity -> ShowS

show :: Verbosity -> String

showList :: [Verbosity] -> ShowS

runFile :: [RunOpt] -> FilePath -> IO ()

Run file with options