C# Class Microsoft.Zing.JiGlobal

Datei anzeigen Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
JiState StateImpl

Property Details

JiState public_oe static_oe property

public static StateImpl JiState
return StateImpl