C# Class Microsoft.Zing.JiGlobal

Afficher le fichier Open project: ZingModelChecker/Zing

Méthodes publiques

Свойство Type Description
JiState StateImpl

Property Details

JiState public_oe static_oe property

public static StateImpl JiState
Résultat StateImpl