C# Class Microsoft.Zing.WorkspaceInfo

Stores the workspace information
Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
length_X int
length_Y int

Property Details

length_X public property

public int length_X
return int

length_Y public property

public int length_Y
return int