C# Class Microsoft.Zing.Application.SimpleSet

Inheritance: Microsoft.Zing.ZingSet

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
Clone ( ) : object
SimpleSet ( ) : System
SimpleSet ( Application app ) : System
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void
this ( int index ) : _ElementType

Private Methods

Method	Description
SimpleSet ( SimpleSet c ) : System

Method Details

Clone() public method

public Clone ( ) : object
return	object

SimpleSet() public method

public SimpleSet ( ) : System
return	System

SimpleSet() public method

public SimpleSet ( Application app ) : System
app	Application
return	System

TraverseFields() public method

public TraverseFields ( FieldTraverser ft ) : void
ft	FieldTraverser
return	void

WriteString() public method

public WriteString ( StateImpl state, BinaryWriter bw ) : void
state	StateImpl
bw	System.IO.BinaryWriter
return	void

this() public method

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