tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe HaskellNone
LanguageHaskell2010

Tip.CallGraph

Description

Calculate the call graph of a theory.

Documentation

type FS = Function :+: Signature Source

data Block a Source

Constructors

Block 

Fields

callers :: [FS a]
 
callees :: [FS a]
 

Instances

flattenBlock :: Block a -> [FS a] Source

theoryStuff :: Theory a -> [FS a] Source

callGraph :: (PrettyVar a, Ord a) => Theory a -> [Block a] Source

data CallGraphOpts Source

Constructors

CallGraphOpts 

Fields

exploreSingleFunctions :: Bool
 
exploreCalleesFirst :: Bool
 

flatCallGraph :: (PrettyVar a, Ord a) => CallGraphOpts -> Theory a -> [[FS a]] Source