C# Class Microsoft.Zing.Application.Struct

Datei anzeigen Open project: ZingModelChecker/Zing

Public Methods

Method	Description
TraverseFields ( FieldTraverser ft ) : void
WriteString ( StateImpl state, BinaryWriter bw ) : void

Method Details

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