pct

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

type MessageOrder interface {
	// AddSendEvent is triggered when a send event of the corresponding message is processed
	AddSendEvent(*types.Message)
	// AddRecvEvent is triggered when a receive event of the corresponding message is processed
	AddRecvEvent(*types.Message)
	// Lt should return true if m_1 < m_2
	Lt(types.MessageID, types.MessageID) bool
	// Reset forgets all stored information and is invoked at the end of each iteration
	Reset()
}

type PCTStrategy struct {
	*types.BaseService

	Actions *types.Channel[*strategies.Action]
	// contains filtered or unexported fields
}

type PCTStrategyConfig struct {
	RandSrc        rand.Source
	MaxEvents      int
	Depth          int
	MessageOrder   MessageOrder
	RecordFilePath string
}

type PCTStrategyWithTestCase struct {
	*PCTStrategy
	// contains filtered or unexported fields
}