C# Class Microsoft.Zing.ZingerConfiguration

Zinger Configuration

Show file Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
MaxDepthPerSchedule	int
ZingModelFile	string
numberOfSchedulesExplored	int
traceLogFile	string
zBoundedSearch	ZingerBoundedSearch

Public Methods

Method	Description
InferConfiguration ( ) : void
PrintConfiguration ( ) : void

Private Methods

Method	Description
ZingerConfiguration ( ) : System

Method Details

InferConfiguration() public static method

public static InferConfiguration ( ) : void
return	void

PrintConfiguration() public static method

public static PrintConfiguration ( ) : void
return	void

Property Details

MaxDepthPerSchedule public static property

public static int MaxDepthPerSchedule
return	int

ZingModelFile public static property

public static string ZingModelFile
return	string

numberOfSchedulesExplored public static property

public static int numberOfSchedulesExplored
return	int

traceLogFile public static property

public static string traceLogFile
return	string

zBoundedSearch public static property

public static ZingerBoundedSearch zBoundedSearch
return	ZingerBoundedSearch