C# Class Microsoft.Zing.ZingerMaceLiveness

Maceliveness configuration

Show file Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
exSearchDepth	int
liveStatePeriod	int
randomFinalCutOff	int

Public Methods

Method	Description
ZingerMaceLiveness ( ) : System
ZingerMaceLiveness ( int exS, int liveP, int ranF ) : System

Method Details

ZingerMaceLiveness() public method

public ZingerMaceLiveness ( ) : System
return	System

ZingerMaceLiveness() public method

public ZingerMaceLiveness ( int exS, int liveP, int ranF ) : System
exS	int
liveP	int
ranF	int
return	System

Property Details

exSearchDepth public property

public int exSearchDepth
return	int

liveStatePeriod public property

public int liveStatePeriod
return	int

randomFinalCutOff public property

public int randomFinalCutOff
return	int