C# (CSharp) Microsoft.PSharp.StaticAnalysis Пространство имен

Классы

Имя	Описание
OnEventDoMachineAction	The P# on event do machine action.
OnEventGotoMachineAction	The P# on event goto machine action.