C# Class Microsoft.Zing.FrontierNode

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

Méthodes publiques

Свойство	Type	Description
Bounds	ZingerBounds

Méthodes publiques

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

Private Methods

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

public Deserialize ( Stream inputStream ) : void
inputStream	Stream
Résultat	void

FrontierNode() public méthode

public FrontierNode ( ) : System
Résultat	System

FrontierNode() public méthode

public FrontierNode ( TraversalInfo ti ) : System
ti	TraversalInfo
Résultat	System

GetTraversalInfo() public méthode

public GetTraversalInfo ( StateImpl InitialState, int threadId ) : TraversalInfo
InitialState	StateImpl
threadId	int
Résultat	TraversalInfo

Serialize() public méthode

public Serialize ( Stream outputStream ) : void
outputStream	Stream
Résultat	void

Property Details

Bounds public_oe property

Current Bounds for the Frontier Node

public ZingerBounds,Microsoft.Zing Bounds
Résultat	ZingerBounds