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

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

Methods

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

Instances

TraceOutput l g VerifyResult
TraceOutput l g SatResult
TraceOutput l g ()
TraceOutput l g Int
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 Source