uhc-util-0.1.6.7: UHC utilities

Safe HaskellNone
LanguageHaskell98

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

Synopsis

Documentation

data RunOpt Source #

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 Source # 

Methods

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

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

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

Run file with options