C# Class Microsoft.Zing.ZingerMaceLiveness

Maceliveness configuration

ファイルを表示 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_oe property

public int exSearchDepth
return	int

liveStatePeriod public_oe property

public int liveStatePeriod
return	int

randomFinalCutOff public_oe property

public int randomFinalCutOff
return	int