strategies

type Context struct {
	MessagePool *types.MessageStore
	// Replicas reference to the replica store
	Replicas *types.ReplicaStore
	// EventDAG is the directed acyclic graph all prior events
	EventDAG *types.EventDAG
	// Vars is a generic key value store to facilate maintaining auxilliary information
	// during the execution of a testcase
	Vars *types.VarSet

	PendingMessages *types.MessageStore
}

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

type Driver struct {
	*types.BaseService
	// contains filtered or unexported fields
}

type DummyStrategy struct {
	*types.BaseService
	// contains filtered or unexported fields
}

type Filter interface {
	Step(*types.Event) []*types.Message
}

type Strategy interface {
	types.Service
	// Step returns the messages to be delivered to the replicas,
	// Arguments are
	// 1. The new event received from the replicas
	// 2. Context containing a set of possible messages that can be delivered
	Step(*types.Event, []*types.Message) []*types.Message
}

type StrategyChain struct {
	*types.BaseService
	// contains filtered or unexported fields
}

type TimeoutStrategy struct {
	*types.BaseService
	// contains filtered or unexported fields
}