C# Класс Microsoft.PSharp.GotoStateEvent

Наследование: Microsoft.PSharp.Event
Показать файл Открыть проект

Открытые свойства

Свойство Тип Описание
State Type

Открытые методы

Метод Описание
GotoStateEvent ( Type s ) : System

Initializes a new instance of the GotoStateEvent class.

Описание методов

GotoStateEvent() публичный Метод

Initializes a new instance of the GotoStateEvent class.
public GotoStateEvent ( Type s ) : System
s Type Type of the state.
Результат System

Описание свойств

State публичное свойство

Type of the state to transition to.
public Type State
Результат Type