Copyright	(c) Galois, Inc. 2014
License	BSD3
Maintainer	jhendrix@galois.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Data.AIG.Trace

Description

A tracing wrapper AIG interface. Given an underlying AIG interface, this wrapper intercepts all interface calls and logs them to a file for debugging purposes.

Documentation

class Traceable l where Source

Methods

compareLit :: l s -> l s -> Ordering Source

showLit :: l s -> String Source

newtype TraceLit l s Source

Constructors

TraceLit
Fields unTraceLit :: l s

Instances

TraceOutput l g (TraceLit l s) Source
TraceOp l g b => TraceOp l g ([TraceLit l s] -> b) Source
TraceOp l g b => TraceOp l g (TraceLit l s -> b) Source
IsLit l => IsLit (TraceLit l) Source
(IsAIG l g, Traceable l) => IsAIG (TraceLit l) (TraceGraph l g) Source
Traceable l => Eq (TraceLit l s) Source
Traceable l => Ord (TraceLit l s) Source

data TraceGraph l g s Source

Constructors

TraceGraph
Fields tGraph :: g s tActive :: IORef (Maybe Handle)

Instances

(IsAIG l g, Traceable l) => IsAIG (TraceLit l) (TraceGraph l g) Source

proxy :: Traceable l => Proxy l g -> Proxy (TraceLit l) (TraceGraph l g) Source

activateTracing :: TraceGraph l g s -> FilePath -> IO () Source

deactiveTracing :: TraceGraph l g s -> IO () Source

withTracing :: TraceGraph l g s -> FilePath -> IO a -> IO a Source

class TraceOp l g a where Source

Methods

traceOp :: (Traceable l, IsAIG l g) => TraceGraph l g s -> String -> a -> a Source

Instances

TraceOutput l g x => TraceOp l g (IO x) Source
TraceOp l g b => TraceOp l g (FilePath -> b) Source
TraceOp l g b => TraceOp l g ([TraceLit l s] -> b) Source
TraceOp l g b => TraceOp l g (TraceLit l s -> b) Source
TraceOp l g b => TraceOp l g (Int -> b) Source

class TraceOutput l g x where Source

Methods

traceOutput :: (Traceable l, IsAIG l g) => TraceGraph l g s -> x -> String Source

Instances

TraceOutput l g VerifyResult Source
TraceOutput l g SatResult Source
TraceOutput l g () Source
TraceOutput l g Int Source
TraceOutput l g x => TraceOutput l g (LitView x) Source
TraceOutput l g a => TraceOutput l g [a] Source
TraceOutput l g (TraceLit l s) Source

withNewGraphTracing :: (IsAIG l g, Traceable l) => Proxy l g -> FilePath -> (forall s. TraceGraph l g s -> IO a) -> IO a Source