Context

quiver

clear

quiver

clearPred

quiver

clearSucc

quiver

contains

Graph

context

Graph

contextGraph

Graph

contextOrder

quiver

contexts

Graph

countNodes

Graph

ctx

Decomp GDecomp

cycle

quiver