Language.Fixpoint.Graph.Deps

Remove Constraints that don't affect Targets

slice :: TaggedC c a => Config -> GInfo c a -> GInfo c a

Compute constraints that transitively affect target constraints, and delete everything else from F.SInfo a

Predicate describing Targets

isTarget :: TaggedC c a => c a -> Bool

DO NOT DELETE! sliceCSucc :: Slice -> CSucc sliceCSucc sl = i -> M.lookupDefault [] i im where im = M.fromList [(i, is) | (i,_,is) <- slEdges sl]

Eliminatable KVars

data Elims a

Generic Dependencies ------------------------------------------------------

Constructors

Deps

Fields

• depCuts :: !(HashSet a)
• depNonCuts :: !(HashSet a)

Instances

Show a => Show (Elims a)

Defined in Language.Fixpoint.Graph.Deps

Methods

showsPrec :: Int -> Elims a -> ShowS

show :: Elims a -> String

showList :: [Elims a] -> ShowS

(Eq a, Hashable a) => Semigroup (Elims a)

Defined in Language.Fixpoint.Graph.Deps

Methods

(<>) :: Elims a -> Elims a -> Elims a

sconcat :: NonEmpty (Elims a) -> Elims a

stimes :: Integral b => b -> Elims a -> Elims a

(Eq a, Hashable a) => Monoid (Elims a)

Defined in Language.Fixpoint.Graph.Deps

Methods

mempty :: Elims a

mappend :: Elims a -> Elims a -> Elims a

mconcat :: [Elims a] -> Elims a

PPrint (Elims a)

Defined in Language.Fixpoint.Graph.Deps

Methods

pprintTidy :: Tidy -> Elims a -> Doc

pprintPrec :: Int -> Tidy -> Elims a -> Doc

elimVars :: TaggedC c a => Config -> GInfo c a -> ([CEdge], Elims KVar)

Compute Dependencies and Cuts ---------------------------------------------

elimDeps :: TaggedC c a => GInfo c a -> [CEdge] -> HashSet KVar -> HashSet Symbol -> CDeps

Eliminated Dependencies

Compute Raw Dependencies

kvEdges :: TaggedC c a => GInfo c a -> [CEdge]

Partition

decompose :: TaggedC c a => GInfo c a -> KVComps

Debug

graphStatistics :: TaggedC c a => Config -> GInfo c a -> IO ()