C# 클래스 Microsoft.Zing.FrontierSet

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

파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 메소드들

메소드	설명
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

비공개 메소드들

메소드	설명
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

메소드 상세

Add() 공개 메소드

public Add ( TraversalInfo ti ) : void
ti	TraversalInfo
리턴	void

Contains() 공개 메소드

public Contains ( Fingerprint fp ) : bool
fp	Fingerprint
리턴	bool

Count() 공개 메소드

public Count ( ) : long
리턴	long

FrontierSet() 공개 메소드

Constructor

public FrontierSet ( TraversalInfo startState ) : System
startState	TraversalInfo
리턴	System

GetNextFrontier() 공개 메소드

public GetNextFrontier ( ) : FrontierNode
리턴	FrontierNode

IsCompleted() 공개 메소드

public IsCompleted ( ) : bool
리턴	bool

PrintAll() 공개 메소드

public PrintAll ( ) : void
리턴	void

Remove() 공개 메소드

public Remove ( Fingerprint fp ) : void
fp	Fingerprint
리턴	void

StartOfIterationReset() 공개 메소드

Reset workers before start of next iteration

public StartOfIterationReset ( ) : void
리턴	void

WaitForAllReaders() 공개 메소드

Wait for the Readers to Finish

public WaitForAllReaders ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
리턴	void

WaitForAllWriters() 공개 메소드

Wait for the writers to Finish

public WaitForAllWriters ( CancellationToken cancel ) : void
cancel	System.Threading.CancellationToken
리턴	void