Method | Description | |
---|---|---|
Add ( |
||
Contains ( Fingerprint fp ) : bool | ||
Count ( ) : long | ||
FrontierSet ( |
Constructor
|
|
GetNextFrontier ( ) : |
||
IsCompleted ( ) : bool | ||
PrintAll ( ) : void | ||
Remove ( Fingerprint fp ) : void | ||
StartOfIterationReset ( ) : void |
Reset workers before start of next iteration
|
|
WaitForAllReaders ( |
Wait for the Readers to Finish
|
|
WaitForAllWriters ( |
Wait for the writers to Finish
|
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
|
public FrontierSet ( |
||
startState | ||
return | System |
public WaitForAllReaders ( |
||
cancel | ||
return | void |
public WaitForAllWriters ( |
||
cancel | ||
return | void |