C# Class Microsoft.PSharp.GotoStateEvent

Inheritance: Microsoft.PSharp.Event
Show file Open project: p-org/PSharp

Public Properties

Property Type Description
State Type

Public Methods

Method Description
GotoStateEvent ( Type s ) : System

Initializes a new instance of the GotoStateEvent class.

Method Details

GotoStateEvent() public method

Initializes a new instance of the GotoStateEvent class.
public GotoStateEvent ( Type s ) : System
s Type Type of the state.
return System

Property Details

State public property

Type of the state to transition to.
public Type State
return Type