C# Class Microsoft.Zing.FrontierSet

This class implements the frontier set used to store frontier states after each iteration.

Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
Add ( TraversalInfo ti ) : void
Contains ( Fingerprint fp ) : bool
Count ( ) : long
FrontierSet ( TraversalInfo startState ) : System	Constructor
GetNextFrontier ( ) : FrontierNode
IsCompleted ( ) : bool
PrintAll ( ) : void
Remove ( Fingerprint fp ) : void
StartOfIterationReset ( ) : void	Reset workers before start of next iteration
WaitForAllReaders ( CancellationToken cancel ) : void	Wait for the Readers to Finish
WaitForAllWriters ( CancellationToken cancel ) : void	Wait for the writers to Finish

Private Methods

Method	Description
FrontierNodeReader ( object obj ) : void
FrontierNodeWriter ( object obj ) : void	Write function that pushes a frontier to disk
InitializeFrontierForce ( ) : void	Initialize the Frontier to disk work force

Method Details

Add() public method

public Add ( TraversalInfo ti ) : void
ti	TraversalInfo
return	void

Contains() public method

public Contains ( Fingerprint fp ) : bool
fp	Fingerprint
return	bool

Count() public method

public Count ( ) : long
return	long

FrontierSet() public method

Constructor

public FrontierSet ( TraversalInfo startState ) : System
startState	TraversalInfo
return	System

GetNextFrontier() public method

public GetNextFrontier ( ) : FrontierNode
return	FrontierNode

IsCompleted() public method

public IsCompleted ( ) : bool
return	bool

PrintAll() public method

public PrintAll ( ) : void
return	void

Remove() public method

public Remove ( Fingerprint fp ) : void
fp	Fingerprint
return	void

StartOfIterationReset() public method

Reset workers before start of next iteration

public StartOfIterationReset ( ) : void
return	void

WaitForAllReaders() public method

Wait for the Readers to Finish

public WaitForAllReaders ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
return	void

WaitForAllWriters() public method

Wait for the writers to Finish

public WaitForAllWriters ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
return	void