graph

type Client struct {
	// bits which get saved into the go file
	// Exportable
	MsgStruct *telemetry.DbgMsgStruct

	Id string

	// indexes of txs with errors, desc order for bisects
	// TODO refresh on GC
	LatestMsgTx   *telemetry.DbgMsgTx
	LatestTimeSum uint64
	LatestClock   am.Time
}

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 []*telemetry.DbgMsgTx
}

type Graph struct {
	Mach *am.Machine
	// contains filtered or unexported fields
}

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

type MachineHas struct {
	// contains filtered or unexported fields
}

type StateRelation struct {
	// contains filtered or unexported fields
}

type Vertex struct {
	StateName string
	MachId    string
}