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 PrtIsActionInstalled Method

[Missing <summary> documentation for "M:P.Runtime.PrtMachine.PrtIsActionInstalled(P.Runtime.PrtValue)"]

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

    public bool PrtIsActionInstalled(
    	PrtValue ev
    )

    Public Function PrtIsActionInstalled (
    	ev As PrtValue
    ) As Boolean

    public:
    bool PrtIsActionInstalled(
    	PrtValue^ ev
    )

    member PrtIsActionInstalled :
            ev : PrtValue -> bool

#### Parameters

ev
  Type: P.Runtime
  PrtValue

  [Missing <param name="ev"/> documentation for "M:P.Runtime.PrtMachine.PrtIsActionInstalled(P.Runtime.PrtValue)"]

#### Return Value

Type: Boolean

[Missing <returns> documentation for "M:P.Runtime.PrtMachine.PrtIsActionInstalled(P.Runtime.PrtValue)"]

See Also

#### Reference

PrtMachine Class
P.Runtime Namespace