KiCS2
Exported names: Imported modules:

Module ToolOptions

The options of the residuation analysis tool.

Author: Michael Hanus

Version: December 2018

Summary of exported operations:

defaultOptions :: Options   
processOptions :: String -> [String] -> IO (Options,[String])   
Process the actual command line argument and return the options and the name of the main program.
whenStatus :: Options -> IO () -> IO ()   
printWhenStatus :: Options -> String -> IO ()   
printWhenIntermediate :: Options -> String -> IO ()   
printWhenAll :: Options -> String -> IO ()   

Exported datatypes:

Options

Constructors:

  • Options :: Int -> Bool -> Bool -> Bool -> Bool -> Bool -> String -> Options

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optTime :: Bool
    • optShow :: Bool
    • optShowResOpts :: Bool
    • optShowStats :: Bool
    • optOutput :: String

Exported operations:

defaultOptions :: Options   

Further infos:
  • solution complete, i.e., able to compute all solutions

processOptions :: String -> [String] -> IO (Options,[String])   

Process the actual command line argument and return the options and the name of the main program.

whenStatus :: Options -> IO () -> IO ()   

printWhenStatus :: Options -> String -> IO ()   

printWhenIntermediate :: Options -> String -> IO ()   

printWhenAll :: Options -> String -> IO ()