graph

type Client struct {
	Id string
	// TODO version schemas
	MsgSchema *dbg.DbgMsgStruct

	LatestMsgTx   *dbg.DbgMsgTx
	LatestTimeSum uint64
	LatestClock   am.Time
	ConnId        string
}

type Connection struct {
	Edge   *EdgeData
	Source *Vertex
	Target *Vertex
}

type Edge = graph.Edge[*Vertex]

type EdgeData struct {
	// machine has a state
	MachHas *MachineHas
	// machine has an RPC connection to another machine
	MachConnectedTo bool
	// machine is a child of another machine
	MachChildOf bool
	// machine has pipes going to another machine
	MachPipesTo []*MachPipeTo

	// state has relations with other states
	StateRelation []*StateRelation
}

type Exportable struct {
	MsgTxs []*dbg.DbgMsgTx
}

type Graph struct {
	Server  *am.Machine
	Clients map[string]*Client

	// G is a directed graph of machines and states with metadata.
	G graph.Graph[string, *Vertex]
	// Map is a unidirectional mirror of g, without metadata.
	Map graph.Graph[string, *Vertex]
}

type MachPipeTo struct {
	FromState string
	ToState   string
	MutType   am.MutationType
}

type MachineHas struct {
	Inherited string
	Auto      bool
	Multi     bool
}

type StateRelation struct {
	RelType am.Relation
}

type Vertex struct {
	StateName string
	MachId    string
}