C# Class Microsoft.Zing.ViaChoose

Inheritance: Via
Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
ChoiceNumber int

Public Methods

Method Description
Clone ( ) : object
Equals ( object o ) : bool
GetHashCode ( ) : int
ToString ( ) : string
ViaChoose ( int n ) : System
ViaChoose ( int n, bool s ) : System

Method Details

Clone() public method

public Clone ( ) : object
return object

Equals() public method

public Equals ( object o ) : bool
o object
return bool

GetHashCode() public method

public GetHashCode ( ) : int
return int

ToString() public method

public ToString ( ) : string
return string

ViaChoose() public method

public ViaChoose ( int n ) : System
n int
return System

ViaChoose() public method

public ViaChoose ( int n, bool s ) : System
n int
s bool
return System

Property Details

ChoiceNumber public_oe property

public int ChoiceNumber
return int