C# Class Microsoft.PSharp.Runtime.PushStateTransition

Defines a push state transition.
Datei anzeigen Open project: p-org/PSharp

Public Properties

Property Type Description
TargetState Type

Public Methods

Method Description
PushStateTransition ( Type targetState ) : System

Initializes a new instance of the PushStateTransition class.

Method Details

PushStateTransition() public method

Initializes a new instance of the PushStateTransition class.
public PushStateTransition ( Type targetState ) : System
targetState Type The target state.
return System

Property Details

TargetState public_oe property

The target state.
public Type TargetState
return Type