C# Class Microsoft.Zing.ExecutionState

Inheritance: TraversalInfo

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Méthode	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

Méthodes protégées

Méthode	Description
Replay ( TraversalInfo succ, Via bt ) : void

Private Methods

Méthode	Description
deOrphanize ( StateImpl s ) : void

Method Details

ExecutionState() public méthode

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt ) : System
s	StateImpl
predecessor	TraversalInfo
bt	Via
Résultat	System

ExecutionState() public méthode

public ExecutionState ( StateImpl s, TraversalInfo predecessor, Via bt, bool MustFingerprint ) : System
s	StateImpl
predecessor	TraversalInfo
bt	Via
MustFingerprint	bool
Résultat	System

GetDelayedSuccessor() public méthode

public GetDelayedSuccessor ( ) : TraversalInfo
Résultat	TraversalInfo

GetNextSuccessor() public méthode

public GetNextSuccessor ( ) : TraversalInfo
Résultat	TraversalInfo

GetNextSuccessorUnderDelayZeroForRW() public méthode

public GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
Résultat	TraversalInfo

GetNextSuccessorUniformRandomly() public méthode

public GetNextSuccessorUniformRandomly ( ) : TraversalInfo
Résultat	TraversalInfo

GetSuccessorN() public méthode

public GetSuccessorN ( int n ) : TraversalInfo
n	int
Résultat	TraversalInfo

GetSuccessorNForReplay() public méthode

public GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
n	int
MustFingerprint	bool
Résultat	TraversalInfo

NumSuccessors() public méthode

public NumSuccessors ( ) : ushort
Résultat	ushort

Replay() protected méthode

protected Replay ( TraversalInfo succ, Via bt ) : void
succ	TraversalInfo
bt	Via
Résultat	void

Reset() public méthode

public Reset ( ) : void
Résultat	void

RunProcess() public méthode

public RunProcess ( int n ) : TraversalInfo
n	int
Résultat	TraversalInfo

RunProcess() public méthode

public RunProcess ( int n, bool MustFingerprint ) : TraversalInfo
n	int
MustFingerprint	bool
Résultat	TraversalInfo