C# Class Microsoft.Zing.ZingerConfiguration

Zinger Configuration

Exibir arquivo 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_oe static_oe property

public static int MaxDepthPerSchedule
return	int

ZingModelFile public_oe static_oe property

public static string ZingModelFile
return	string

numberOfSchedulesExplored public_oe static_oe property

public static int numberOfSchedulesExplored
return	int

traceLogFile public_oe static_oe property

public static string traceLogFile
return	string

zBoundedSearch public_oe static_oe property

public static ZingerBoundedSearch zBoundedSearch
return	ZingerBoundedSearch