C# Class Microsoft.Zing.Via

Mostra file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
silent bool

Public Methods

Method Description
Clone ( ) : object
PrintTrace ( Via bts ) : void

Method Details

Clone() public abstract method

public abstract Clone ( ) : object
return object

PrintTrace() public static method

public static PrintTrace ( Via bts ) : void
bts Via
return void

Property Details

silent public_oe property

public bool silent
return bool