C# 클래스 ExternalPlugin.StateCoverageState

상속: Microsoft.Zing.ZingerPluginState
파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
StatesReached ConcurrentDictionary>

공개 메소드들

메소드 설명
Clone ( ) : ZingerPluginState
StateCoverageState ( ) : System
ToString ( ) : string

메소드 상세

Clone() 공개 메소드

public Clone ( ) : ZingerPluginState
리턴 Microsoft.Zing.ZingerPluginState

StateCoverageState() 공개 메소드

public StateCoverageState ( ) : System
리턴 System

ToString() 공개 메소드

public ToString ( ) : string
리턴 string

프로퍼티 상세

StatesReached 공개적으로 프로퍼티

public ConcurrentDictionary> StatesReached
리턴 ConcurrentDictionary>