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

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

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

    public abstract void PrtEnqueueEvent(
    	PrtValue e,
    	PrtValue arg,
    	PrtMachine source,
    	PrtMachineValue target = null
    )

    Public MustOverride Sub PrtEnqueueEvent (
    	e As PrtValue,
    	arg As PrtValue,
    	source As PrtMachine,
    	Optional target As PrtMachineValue = Nothing
    )

    public:
    virtual void PrtEnqueueEvent(
    	PrtValue^ e,
    	PrtValue^ arg,
    	PrtMachine^ source,
    	PrtMachineValue^ target = nullptr
    ) abstract

    abstract PrtEnqueueEvent :
            e : PrtValue *
            arg : PrtValue *
            source : PrtMachine *
            ?target : PrtMachineValue
    (* Defaults:
            let _target = defaultArg target null
    *)
    -> unit

#### Parameters

e
  Type: P.Runtime
  PrtValue

  [Missing <param name="e"/> documentation for "M:P.Runtime.PrtMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

arg
  Type: P.Runtime
  PrtValue

  [Missing <param name="arg"/> documentation for "M:P.Runtime.PrtMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

source
  Type: P.Runtime
  PrtMachine

  [Missing <param name="source"/> documentation for "M:P.Runtime.PrtMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

target (Optional)
  Type: P.Runtime
  PrtMachineValue

  [Missing <param name="target"/> documentation for "M:P.Runtime.PrtMachine.PrtEnqueueEvent(P.Runtime.PrtValue,P.Runtime.PrtValue,P.Runtime.PrtMachine,P.Runtime.PrtMachineValue)"]

See Also

#### Reference

PrtMachine Class
P.Runtime Namespace