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