Data.AIG.Trace

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

Methods

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

showLit :: l s -> String

newtype TraceLit l s

Constructors

TraceLit

Fields

unTraceLit :: l s

Instances

TraceOutput l g (TraceLit l s)

TraceOp l g b => TraceOp l g ([TraceLit l s] -> b)

TraceOp l g b => TraceOp l g (TraceLit l s -> b)

IsLit l => IsLit (TraceLit l)

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

Traceable l => Eq (TraceLit l s)

Traceable l => Ord (TraceLit l s)

data TraceGraph l g s

Constructors

TraceGraph

Fields

tGraph :: g s

tActive :: IORef (Maybe Handle)

Instances

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

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

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

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

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

class TraceOp l g a where

Methods

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

Instances

TraceOutput l g x => TraceOp l g (IO x)

TraceOp l g b => TraceOp l g (FilePath -> b)

TraceOp l g b => TraceOp l g ([TraceLit l s] -> b)

TraceOp l g b => TraceOp l g (TraceLit l s -> b)

TraceOp l g b => TraceOp l g (Int -> b)

class TraceOutput l g x where

Methods

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

Instances

TraceOutput l g VerifyResult

TraceOutput l g SatResult

TraceOutput l g ()

TraceOutput l g Int

TraceOutput l g x => TraceOutput l g (LitView x)

TraceOutput l g a => TraceOutput l g [a]

TraceOutput l g (TraceLit l s)

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