internal

type BroadcastMessage[T any, S constraints.Ordered] struct {
	Message T               // message
	R       S               // sequence number
	P       commons.Address // sender
}

type DAG interface {
	VertexExist(v *commons.BaseVertex) bool
	AllEdgesExist(v *commons.Vertex) bool
	Path(v, u *commons.Vertex) bool
	StrongPath(v, u *commons.Vertex) bool
	NewRoundIfNotExists(r commons.Round)
	GetRound(r commons.Round) VertexRoundSet
	SetDelivered(v *commons.Vertex, delivered bool)
	String() string
}

type ValidatorSet interface {
	NewWaveIfNotExists(w commons.Wave)
	GetWave(w commons.Wave) collections.Set[commons.Address]
	String() string
}

type VertexRoundSet interface {
	Entries() []commons.Vertex
	AddVertex(v commons.Vertex) bool
	SourceExists(a commons.Address) bool
	GetBySource(a commons.Address) commons.Vertex
	SetDelivered(a commons.Address, delivered bool)
	Size() int
}