C# Class Microsoft.Zing.ExecutionState

Inheritance: TraversalInfo

Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt ) : System
ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt, bool MustFingerprint ) : System
GetDelayedSuccessor ( ) : TraversalInfo
GetNextSuccessor ( ) : TraversalInfo
GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
GetNextSuccessorUniformRandomly ( ) : TraversalInfo
GetSuccessorN ( int n ) : TraversalInfo
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
NumSuccessors ( ) : ushort
Reset ( ) : void
RunProcess ( int n ) : TraversalInfo
RunProcess ( int n, bool MustFingerprint ) : TraversalInfo

Protected Methods

Method	Description
Replay ( TraversalInfo succ, Via bt ) : void

Private Methods

Method	Description
deOrphanize ( StateImpl s ) : void

Method Details

ExecutionState() public method

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt ) : System
s	StateImpl
predecessor	TraversalInfo
bt	Via
return	System

ExecutionState() public method

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt, bool MustFingerprint ) : System
s	StateImpl
predecessor	TraversalInfo
bt	Via
MustFingerprint	bool
return	System

GetDelayedSuccessor() public method

public GetDelayedSuccessor ( ) : TraversalInfo
return	TraversalInfo

GetNextSuccessor() public method

public GetNextSuccessor ( ) : TraversalInfo
return	TraversalInfo

GetNextSuccessorUnderDelayZeroForRW() public method

public GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
return	TraversalInfo

GetNextSuccessorUniformRandomly() public method

public GetNextSuccessorUniformRandomly ( ) : TraversalInfo
return	TraversalInfo

GetSuccessorN() public method

public GetSuccessorN ( int n ) : TraversalInfo
n	int
return	TraversalInfo

GetSuccessorNForReplay() public method

public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
n	int
MustFingerprint	bool
return	TraversalInfo

NumSuccessors() public method

public NumSuccessors ( ) : ushort
return	ushort

Replay() protected method

protected Replay ( TraversalInfo succ, Via bt ) : void
succ	TraversalInfo
bt	Via
return	void

Reset() public method

public Reset ( ) : void
return	void

RunProcess() public method

public RunProcess ( int n ) : TraversalInfo
n	int
return	TraversalInfo

RunProcess() public method

public RunProcess ( int n, bool MustFingerprint ) : TraversalInfo
n	int
MustFingerprint	bool
return	TraversalInfo