Language.Fixpoint.Graph.Types

Contents

• Graphs
• Components
• Printing
• Constraints
• Slice of relevant constraints
• Constraint Dependency Graphs
• Alias for Constraint Maps
• Ranks
• Constraint Dependencies
• Solver Info

Description

Synopsis

• data CVertex
  • = KVar !KVar
  • | DKVar !KVar
  • | Cstr !Integer
• type CEdge = (CVertex, CVertex)
• isRealEdge :: CEdge -> Bool
• data KVGraph = KVGraph {
  • kvgEdges :: [(CVertex, CVertex, [CVertex])]
  }
• type Comps a = [[a]]
• type KVComps = Comps CVertex
• writeGraph :: FilePath -> KVGraph -> IO ()
• writeEdges :: FilePath -> [CEdge] -> IO ()
• type SubcId = Integer
• type KVRead = HashMap KVar [SubcId]
• type DepEdge = (SubcId, SubcId, [SubcId])
• data Slice = Slice {
  • slKVarCs :: [SubcId]
  • slConcCs :: [SubcId]
  • slEdges :: [DepEdge]
  }
• data CGraph = CGraph {
  • gEdges :: [DepEdge]
  • gRanks :: !(CMap Int)
  • gSucc :: !(CMap [SubcId])
  • gSccs :: !Int
  }
• type CMap a = HashMap SubcId a
• lookupCMap :: (?callStack :: CallStack) => CMap a -> SubcId -> a
• data Rank = Rank {
  • rScc :: !Int
  • rIcc :: !Int
  • rTag :: !Tag
  }
• data CDeps = CDs {
  • cSucc :: !(CMap [SubcId])
  • cPrev :: !(CMap [KVar])
  • cRank :: !(CMap Rank)
  • cNumScc :: !Int
  }
• data SolverInfo a b = SI {
  • siSol :: !(Sol b QBind)
  • siQuery :: !(SInfo a)
  • siDeps :: !CDeps
  • siVars :: !(HashSet KVar)
  }

Graphs

Components

Printing

Constraints

Slice of relevant constraints

Constraint Dependency Graphs

Alias for Constraint Maps

Ranks

Constraint Dependencies

Solver Info