C# Class Microsoft.Zing.ZingerStateTable

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

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

Méthodes publiques

Méthode	Description
AddOrUpdate ( Fingerprint fp, StateData sd ) : void
Contains ( Fingerprint fp ) : bool
GetStateData ( Fingerprint fp ) : StateData

Method Details

AddOrUpdate() public méthode

public AddOrUpdate ( Fingerprint fp, StateData sd ) : void
fp	Fingerprint
sd	StateData
Résultat	void

Contains() public méthode

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

GetStateData() public méthode

public GetStateData ( Fingerprint fp ) : StateData
fp	Fingerprint
Résultat	StateData