C# Class Microsoft.Zing.Via

Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
silent bool

Méthodes publiques

Méthode Description
Clone ( ) : object
PrintTrace ( Via bts ) : void

Method Details

Clone() public abstract méthode

public abstract Clone ( ) : object
Résultat object

PrintTrace() public static méthode

public static PrintTrace ( Via bts ) : void
bts Via
Résultat void

Property Details

silent public_oe property

public bool silent
Résultat bool