Safe Haskell	None

LSC.CellFlipping

Documentation

Constructors

G Number
Lambda Int

Instances details

Eq PseudoBool Source #
Instance details Defined in LSC.CellFlipping Methods (==) :: PseudoBool -> PseudoBool -> Bool (/=) :: PseudoBool -> PseudoBool -> Bool
Ord PseudoBool Source #
Instance details Defined in LSC.CellFlipping Methods compare :: PseudoBool -> PseudoBool -> Ordering (<) :: PseudoBool -> PseudoBool -> Bool (<=) :: PseudoBool -> PseudoBool -> Bool (>) :: PseudoBool -> PseudoBool -> Bool (>=) :: PseudoBool -> PseudoBool -> Bool max :: PseudoBool -> PseudoBool -> PseudoBool min :: PseudoBool -> PseudoBool -> PseudoBool
Show PseudoBool Source #
Instance details Defined in LSC.CellFlipping Methods showsPrec :: Int -> PseudoBool -> ShowS show :: PseudoBool -> String showList :: [PseudoBool] -> ShowS

type Alpha = Int Source #

type Beta = (Int, Int, Int, Int) Source #

_00 :: Lens' Beta Int Source #

_10 :: Lens' Beta Int Source #

_01 :: Lens' Beta Int Source #

_11 :: Lens' Beta Int Source #

type Delta = State Beta () Source #

Constructors

Instances details

(Show b, Show a) => Show (Quadratic a b) Source #
Instance details Defined in LSC.CellFlipping Methods showsPrec :: Int -> Quadratic a b -> ShowS show :: Quadratic a b -> String showList :: [Quadratic a b] -> ShowS

Constructors

Vertex
Fields channel :: Int net :: Net gate :: Gate pin :: Pin

Instances details

Eq Vertex Source #
Instance details Defined in LSC.CellFlipping Methods (==) :: Vertex -> Vertex -> Bool (/=) :: Vertex -> Vertex -> Bool
Ord Vertex Source #
Instance details Defined in LSC.CellFlipping Methods compare :: Vertex -> Vertex -> Ordering (<) :: Vertex -> Vertex -> Bool (<=) :: Vertex -> Vertex -> Bool (>) :: Vertex -> Vertex -> Bool (>=) :: Vertex -> Vertex -> Bool max :: Vertex -> Vertex -> Vertex min :: Vertex -> Vertex -> Vertex