C# Class Microsoft.Zing.ZingerStateTable

The global state used during state full search to store all the visited states.

ファイルを表示 Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
AddOrUpdate ( Fingerprint fp, StateData sd ) : void
Contains ( Fingerprint fp ) : bool
GetStateData ( Fingerprint fp ) : StateData

Method Details

AddOrUpdate() public method

public AddOrUpdate ( Fingerprint fp, StateData sd ) : void
fp	Fingerprint
sd	StateData
return	void

Contains() public method

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

GetStateData() public method

public GetStateData ( Fingerprint fp ) : StateData
fp	Fingerprint
return	StateData