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