C# Class Microsoft.Zing.WithList

Datei anzeigen Open project: ZingModelChecker/Zing Class Usage Examples

Public Methods

Method	Description
Add ( With element ) : void
Clone ( ) : WithList
WithList ( ) : System.Collections.Generic
WithList ( int capacity ) : System.Collections.Generic
this ( int index ) : With

Method Details

Add() public method

public Add ( With element ) : void
element	With
return	void

Clone() public method

public Clone ( ) : WithList
return	WithList

WithList() public method

public WithList ( ) : System.Collections.Generic
return	System.Collections.Generic

WithList() public method

public WithList ( int capacity ) : System.Collections.Generic
capacity	int
return	System.Collections.Generic

this() public method

public this ( int index ) : With
index	int
return	With