Agda.Utils.Warshall
type
Matrix
a
warshall
type
AdjList
node edge
warshallG
data
Weight
inc
flexible variables (with identifiers drawn from Int),
rigid variables (also identified by Ints), or
constants (like 0, infinity, or anything between)
data
Node
data
Rigid
type
NodeId
type
RigidId
type
FlexId
type
Scope
isBelow
data
Constraint
type
Constraints
data
Graph
type
GM
addFlex
addNode
addEdge
addConstraint
buildGraph
mkMatrix
data
LegendMatrix
a b c
type
Solution
data
SizeExpr
sizeRigid
solve
genGraph
data
Distance
genGraph_
lookupEdge
edges
genPath
mapNodes
tests