C# Class Microsoft.Zing.FrontierSet

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

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

Méthodes publiques

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

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

public Add ( TraversalInfo ti ) : void
ti	TraversalInfo
Résultat	void

Contains() public méthode

public Contains ( Fingerprint fp ) : bool
fp	Fingerprint
Résultat	bool

Count() public méthode

public Count ( ) : long
Résultat	long

FrontierSet() public méthode

Constructor

public FrontierSet ( TraversalInfo startState ) : System
startState	TraversalInfo
Résultat	System

GetNextFrontier() public méthode

public GetNextFrontier ( ) : FrontierNode
Résultat	FrontierNode

IsCompleted() public méthode

public IsCompleted ( ) : bool
Résultat	bool

PrintAll() public méthode

public PrintAll ( ) : void
Résultat	void

Remove() public méthode

public Remove ( Fingerprint fp ) : void
fp	Fingerprint
Résultat	void

StartOfIterationReset() public méthode

Reset workers before start of next iteration

public StartOfIterationReset ( ) : void
Résultat	void

WaitForAllReaders() public méthode

Wait for the Readers to Finish

public WaitForAllReaders ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
Résultat	void

WaitForAllWriters() public méthode

Wait for the writers to Finish

public WaitForAllWriters ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
Résultat	void