C# Class Microsoft.Zing.ChooseState

Inheritance: TraversalInfo

ファイルを表示 Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
ChooseState ( StateImpl s, TraversalInfo predecessor, Via bt ) : System
ChooseState ( 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
RunChoice ( int n ) : TraversalInfo
RunChoice ( 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

ChooseState() public method

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

ChooseState() public method

public ChooseState ( 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

RunChoice() public method

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

RunChoice() public method

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