PAKCS
Exported names: Imported modules:

Module Coosy.Trace

Summary of exported operations:

logDir :: String   
logFilePrefix :: String   
logFile :: String -> String   
logFileClear :: String   
getRef :: Event -> Int   
getPred :: Event -> Int   
getParent :: Event -> Int   
isValue :: Event -> Bool   
isDemand :: Event -> Bool   
showEvent :: Event -> String   
readTrace :: String -> [Event]   

Exported datatypes:

Label

Type synonym: Label = String

EventID

Type synonym: EventID = Int

Event

Constructors:

Trace

Type synonym: Trace = [Event]

Exported operations:

logDir :: String   

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

logFilePrefix :: String   

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

logFile :: String -> String   

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

logFileClear :: String   

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

getRef :: Event -> Int   

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

getPred :: Event -> Int   

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

getParent :: Event -> Int   

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

isValue :: Event -> Bool   

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

isDemand :: Event -> Bool   

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

showEvent :: Event -> String   

Further infos:
  • partially defined

readTrace :: String -> [Event]