C# Class Microsoft.Zing.TerminalState

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

Méthodes publiques

Свойство Type Description
Error System.Exception
IsAborted bool
IsErroneous bool
IsFailedAssumption bool
IsValidTermination bool

Méthodes publiques

Méthode Description
GetDelayedSuccessor ( ) : TraversalInfo
GetNextSuccessor ( ) : TraversalInfo
GetNextSuccessorUnderDelayZeroForRW ( ) : TraversalInfo
GetNextSuccessorUniformRandomly ( ) : TraversalInfo
GetSuccessorN ( int n ) : TraversalInfo
GetSuccessorNForReplay ( int n, bool MustFingerprint ) : TraversalInfo
NumSuccessors ( ) : ushort
Reset ( ) : void
TerminalState ( StateImpl s, TraversalInfo pred, Via bt ) : System
TerminalState ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : System

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

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

TerminalState() public méthode

public TerminalState ( StateImpl s, TraversalInfo pred, Via bt ) : System
s StateImpl
pred TraversalInfo
bt Via
Résultat System

TerminalState() public méthode

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

Property Details

Error public_oe property

public Exception,System Error
Résultat System.Exception

IsAborted public_oe property

public bool IsAborted
Résultat bool

IsErroneous public_oe property

public bool IsErroneous
Résultat bool

IsFailedAssumption public_oe property

public bool IsFailedAssumption
Résultat bool

IsValidTermination public_oe property

public bool IsValidTermination
Résultat bool