C# Class Microsoft.Zing.WorkspaceInfo

Stores the workspace information
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
length_X int
length_Y int

Property Details

length_X public_oe property

public int length_X
Résultat int

length_Y public_oe property

public int length_Y
Résultat int