C# Class Microsoft.Zing.ZingerMaceLiveness

Maceliveness configuration

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство	Type	Description
exSearchDepth	int
liveStatePeriod	int
randomFinalCutOff	int

Méthodes publiques

Méthode	Description
ZingerMaceLiveness ( ) : System
ZingerMaceLiveness ( int exS, int liveP, int ranF ) : System

Method Details

ZingerMaceLiveness() public méthode

public ZingerMaceLiveness ( ) : System
Résultat	System

ZingerMaceLiveness() public méthode

public ZingerMaceLiveness ( int exS, int liveP, int ranF ) : System
exS	int
liveP	int
ranF	int
Résultat	System

Property Details

exSearchDepth public_oe property

public int exSearchDepth
Résultat	int

liveStatePeriod public_oe property

public int liveStatePeriod
Résultat	int

randomFinalCutOff public_oe property

public int randomFinalCutOff
Résultat	int