[match/match.git] / program / IMinCostFlow.hs

module IMinCostFlow where
import Data.Array.IArray
import Data.Graph.Inductive.Graph

type MinCostFlowImpl1 gr a b i f c =
	(i, i)       -> -- Range of edge indices
	(b -> i)     -> -- Edge label -> unique edge index
	(b -> f)     -> -- Edge label -> flow capacity
	(b -> c)     -> -- Edge label -> cost per unit of flow
	gr a b       -> -- Graph
	(Node, Node) -> -- (source, sink)
	Array i f       -- ! edge index -> flow value

type MinCostFlowImpl =
	forall gr a b i f c. (Graph gr, Ix i, Real f, Real c) =>
	MinCostFlowImpl1 gr a b i f c
Commit	Line	Data
fd0d2377 MM	1	module IMinCostFlow where
	2	import Data.Array.IArray
	3	import Data.Graph.Inductive.Graph
	4
	5	type MinCostFlowImpl1 gr a b i f c =
	6	(i, i) -> -- Range of edge indices
	7	(b -> i) -> -- Edge label -> unique edge index
	8	(b -> f) -> -- Edge label -> flow capacity
	9	(b -> c) -> -- Edge label -> cost per unit of flow
	10	gr a b -> -- Graph
	11	(Node, Node) -> -- (source, sink)
	12	Array i f -- ! edge index -> flow value
	13
	14	type MinCostFlowImpl =
	15	forall gr a b i f c. (Graph gr, Ix i, Real f, Real c) =>
	16	MinCostFlowImpl1 gr a b i f c