C# Class Microsoft.Zing.TerminalState

Inheritance: TraversalInfo
Show file 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 property

public Exception,System Error
return System.Exception

IsAborted public property

public bool IsAborted
return bool

IsErroneous public property

public bool IsErroneous
return bool

IsFailedAssumption public property

public bool IsFailedAssumption
return bool

IsValidTermination public property

public bool IsValidTermination
return bool