C# Class Microsoft.Zing.FrontierNode

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

Public Properties

Property	Type	Description
Bounds	ZingerBounds

Public Methods

Method	Description
Deserialize ( Stream inputStream ) : void
FrontierNode ( ) : System
FrontierNode ( TraversalInfo ti ) : System
GetTraversalInfo ( StateImpl InitialState, int threadId ) : TraversalInfo
Serialize ( Stream outputStream ) : void

Private Methods

Method	Description
GetTraversalInfoForTrace ( System.Trace trace, int threadId, StateImpl iState ) : TraversalInfo	Executes the model checker from the model initial state to the state represented by the given trace. Sets the initial state for algorithms not using reduction.

Method Details

Deserialize() public method

public Deserialize ( Stream inputStream ) : void
inputStream	Stream
return	void

FrontierNode() public method

public FrontierNode ( ) : System
return	System

FrontierNode() public method

public FrontierNode ( TraversalInfo ti ) : System
ti	TraversalInfo
return	System

GetTraversalInfo() public method

public GetTraversalInfo ( StateImpl InitialState, int threadId ) : TraversalInfo
InitialState	StateImpl
threadId	int
return	TraversalInfo

Serialize() public method

public Serialize ( Stream outputStream ) : void
outputStream	Stream
return	void

Property Details

Bounds public_oe property

Current Bounds for the Frontier Node

public ZingerBounds,Microsoft.Zing Bounds
return	ZingerBounds