Verismith.Circuit

Contents

Description

Definition of the circuit graph.

Synopsis

Circuit

The types for all the gates.

Constructors

Instances details

Bounded Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods minBound :: Gate # maxBound :: Gate #
Enum Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods succ :: Gate -> Gate # pred :: Gate -> Gate # toEnum :: Int -> Gate # fromEnum :: Gate -> Int # enumFrom :: Gate -> [Gate] # enumFromThen :: Gate -> Gate -> [Gate] # enumFromTo :: Gate -> Gate -> [Gate] # enumFromThenTo :: Gate -> Gate -> Gate -> [Gate] #
Show Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods showsPrec :: Int -> Gate -> ShowS # show :: Gate -> String # showList :: [Gate] -> ShowS #
Eq Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods (==) :: Gate -> Gate -> Bool # (/=) :: Gate -> Gate -> Bool #
Ord Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods compare :: Gate -> Gate -> Ordering # (<) :: Gate -> Gate -> Bool # (<=) :: Gate -> Gate -> Bool # (>) :: Gate -> Gate -> Bool # (>=) :: Gate -> Gate -> Bool # max :: Gate -> Gate -> Gate # min :: Gate -> Gate -> Gate #
Random Gate Source #
Instance details Defined in Verismith.Circuit.Base Methods randomR :: RandomGen g => (Gate, Gate) -> g -> (Gate, g) # random :: RandomGen g => g -> (Gate, g) # randomRs :: RandomGen g => (Gate, Gate) -> g -> [Gate] # randoms :: RandomGen g => g -> [Gate] #

Newtype for the Circuit which implements a Graph from fgl.

Constructors

Circuit
Fields getCircuit :: Gr Gate ()

Newtype for a node in the circuit, which is an 'LNode Gate'.

Constructors

CNode
Fields getCNode :: LNode Gate

Newtype for a named edge which is empty, as it does not need a label.

Constructors

CEdge
Fields getCEdge :: LEdge ()

rDups :: (Eq a, Eq b) => Gr a b -> Gr a b Source #

Remove duplicates.

Remove duplicates.

Arguments

The generated graph. It uses Arbitrary to generate random instances of each node

Gen instance for a random acyclic DAG.

Generate a random acyclic DAG with an IO instance.