C# Class Microsoft.Zing.TerminalState

Inheritance: TraversalInfo
Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
Error System.Exception
IsAborted bool
IsErroneous bool
IsFailedAssumption bool
IsValidTermination bool

Public Methods

Method 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

Protected Methods

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

Private Methods

Method Description
deOrphanize ( StateImpl s ) : void

Method Details

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

TerminalState() public method

public TerminalState ( StateImpl s, TraversalInfo pred, Via bt ) : System
s StateImpl
pred TraversalInfo
bt Via
return System

TerminalState() public method

public TerminalState ( StateImpl s, TraversalInfo pred, Via bt, bool MustFingerprint ) : System
s StateImpl
pred TraversalInfo
bt Via
MustFingerprint bool
return System

Property Details

Error public_oe property

public Exception,System Error
return System.Exception

IsAborted public_oe property

public bool IsAborted
return bool

IsErroneous public_oe property

public bool IsErroneous
return bool

IsFailedAssumption public_oe property

public bool IsFailedAssumption
return bool

IsValidTermination public_oe property

public bool IsValidTermination
return bool