Documentation ¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type DPOR ¶
type DPOR struct {
// contains filtered or unexported fields
}
func (*DPOR) GetNextActionChan ¶
func (this *DPOR) GetNextActionChan() chan *Action
func (*DPOR) QueueNextEvent ¶
Click to show internal directories.
Click to hide internal directories.