C# 클래스 Microsoft.Zing.ZingerStateTable

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

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

공개 메소드들

메소드	설명
AddOrUpdate ( Fingerprint fp, StateData sd ) : void
Contains ( Fingerprint fp ) : bool
GetStateData ( Fingerprint fp ) : StateData

메소드 상세

AddOrUpdate() 공개 메소드

public AddOrUpdate ( Fingerprint fp, StateData sd ) : void
fp	Fingerprint
sd	StateData
리턴	void

Contains() 공개 메소드

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

GetStateData() 공개 메소드

public GetStateData ( Fingerprint fp ) : StateData
fp	Fingerprint
리턴	StateData