Agda.Utils.Warshall
type Matrix a
warshall
type AdjList node edge
warshallG
data Weight
inc
data Node
data Rigid
type NodeId
type RigidId
type FlexId
type Scope
infinite
isBelow
data Constraint
type Constraints
emptyConstraints
data Graph
initGraph
type GM
addFlex
addNode
addEdge
addConstraint
buildGraph
mkMatrix
data LegendMatrix a b c
type Solution
emptySolution
extendSolution
data SizeExpr
sizeRigid
solve