A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtMachine Class
PrtMachine Methods
DbgCompare Method
GetHashCode Method
PrtChangeState Method
PrtEnqueueEvent Method
PrtFindActionHandler Method
PrtFunContGoto Method
PrtFunContNewMachine Method
PrtFunContNondet Method
PrtFunContPop Method
PrtFunContRaise Method
PrtFunContReceive Method
PrtFunContReturn Method
PrtFunContReturnVal Method
PrtFunContSend Method
PrtIsActionInstalled Method
PrtIsTransitionPresent Method
PrtPopFunStackFrame Method
PrtPopState Method
PrtPushExitFunction Method
PrtPushFunStackFrame Method
PrtPushState Method
PrtPushTransitionFun Method
Resolve Method
ToPrettyString Method

# PrtMachine PrtFunContPop Method

[Missing <summary> documentation for "M:P.Runtime.PrtMachine.PrtFunContPop"]

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax
C#
VB
C++
F#
Copy

    public void PrtFunContPop()

    Public Sub PrtFunContPop

    public:
    void PrtFunContPop()

    member PrtFunContPop : unit -> unit

See Also

#### Reference

PrtMachine Class
P.Runtime Namespace