C# Class Microsoft.Zing.JiGlobal

Show file Open project: ZingModelChecker/Zing

Public Properties

Property Type Description
JiState StateImpl

Property Details

JiState public static property

public static StateImpl JiState
return StateImpl