graph

type BasicDirectedEdge [3]int

type BasicGraph struct {
	Vertices []BasicVertex
	Edges    []BasicDirectedEdge
}

type BasicVertex int

type BoundedLattice interface {
	Lattice
	// Top() >= Sup(x,y) \forall x,y
	Top() int
	// Bottom() <= Inf(x,y) \forall x,y
	Bottom() int
}

type DirectedEdge interface {
	Edge
	From() int
	To() int
}

type DirectedGraph interface {
	Graph
	GetDirectedEdge(int) DirectedEdge
}

type Edge interface {
	util.Equaler
	Vertices() []int
	ID() int
}

type Graph interface {
	GetVertices() []int
	GetEdges() []int
	GetVertex(int) Vertex
	GetEdge(int) Edge
	NumberOfVertices() int
	NumberOfEdges() int
}

type Lattice interface {
	Inf(int, int) int
	Sup(int, int) int
}

type Vertex interface {
	util.Equaler
	ID() int
}