C# Class Microsoft.Zing.Application

Inheritance: Microsoft.Zing.StateImpl

Mostrar archivo Open project: ZingModelChecker/Zing Class Usage Examples

Private Properties

Property	Type	Description

Public Methods

Method	Description
Application ( ) : System
Application ( bool initialState ) : System
ComputeFingerprint ( ) : Fingerprint
GetSourceFiles ( ) : string[]
GetSources ( ) : string[]
MakeSkeleton ( ) : StateImpl
WriteString ( BinaryWriter bw ) : void

Method Details

Application() public method

public Application ( ) : System
return	System

Application() public method

public Application ( bool initialState ) : System
initialState	bool
return	System

ComputeFingerprint() public method

public ComputeFingerprint ( ) : Fingerprint
return	Fingerprint

GetSourceFiles() public method

public GetSourceFiles ( ) : string[]
return	string[]

GetSources() public method

public GetSources ( ) : string[]
return	string[]

MakeSkeleton() public method

public MakeSkeleton ( ) : StateImpl
return	StateImpl

WriteString() public method

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