Versions in this module Expand all Collapse all v0 v0.1.2 Oct 1, 2015 v0.1.1 Aug 20, 2015 Changes in this version + type DPOR struct + func DPORNew() *DPOR + func (this *DPOR) GetNextActionChan() chan *Action + func (this *DPOR) Init(storage HistoryStorage, param map[string]interface{}) + func (this *DPOR) Name() string + func (this *DPOR) QueueNextEvent(procId string, ev *Event) + type DPORParam struct