C# 클래스 Microsoft.Zing.ZingerConfiguration

Zinger Configuration
파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 프로퍼티들

프로퍼티 타입 설명
MaxDepthPerSchedule int
ZingModelFile string
numberOfSchedulesExplored int
traceLogFile string
zBoundedSearch ZingerBoundedSearch

공개 메소드들

메소드 설명
InferConfiguration ( ) : void
PrintConfiguration ( ) : void

비공개 메소드들

메소드 설명
ZingerConfiguration ( ) : System

메소드 상세

InferConfiguration() 공개 정적인 메소드

public static InferConfiguration ( ) : void
리턴 void

PrintConfiguration() 공개 정적인 메소드

public static PrintConfiguration ( ) : void
리턴 void

프로퍼티 상세

MaxDepthPerSchedule 공개적으로 정적으로 프로퍼티

public static int MaxDepthPerSchedule
리턴 int

ZingModelFile 공개적으로 정적으로 프로퍼티

public static string ZingModelFile
리턴 string

numberOfSchedulesExplored 공개적으로 정적으로 프로퍼티

public static int numberOfSchedulesExplored
리턴 int

traceLogFile 공개적으로 정적으로 프로퍼티

public static string traceLogFile
리턴 string

zBoundedSearch 공개적으로 정적으로 프로퍼티

public static ZingerBoundedSearch zBoundedSearch
리턴 ZingerBoundedSearch