Microsoft.PSharp.GotoStateEvent.GotoStateEvent C# (CSharp) Method

GotoStateEvent Class Documentation Show file Open project: p-org/PSharp

GotoStateEvent() public method

Initializes a new instance of the GotoStateEvent class.
public GotoStateEvent ( Type s ) : System
s Type Type of the state.
return System 
        public GotoStateEvent(Type s)
            : base()
        {
            this.State = s;
        }
    }
GotoStateEvent
GotoStateEvent