A Sandcastle Documented Class Library
A Sandcastle Documented Class Library
P.Runtime
PrtStateStackFrame Class
PrtStateStackFrame Constructor
PrtStateStackFrame Methods
PrtStateStackFrame Fields

# PrtStateStackFrame Constructor

Initializes a new instance of the PrtStateStackFrame class

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

    public PrtStateStackFrame(
    	PrtState st,
    	HashSet<PrtValue> defSet,
    	HashSet<PrtValue> actSet
    )

    Public Sub New (
    	st As PrtState,
    	defSet As HashSet(Of PrtValue),
    	actSet As HashSet(Of PrtValue)
    )

    public:
    PrtStateStackFrame(
    	PrtState^ st,
    	HashSet<PrtValue^>^ defSet,
    	HashSet<PrtValue^>^ actSet
    )

    new :
            st : PrtState *
            defSet : HashSet<PrtValue> *
            actSet : HashSet<PrtValue> -> PrtStateStackFrame

#### Parameters

st
  Type: P.Runtime
  PrtState

  [Missing <param name="st"/> documentation for "M:P.Runtime.PrtStateStackFrame.#ctor(P.Runtime.PrtState,System.Collections.Generic.HashSet{P.Runtime.PrtValue},System.Collections.Generic.HashSet{P.Runtime.PrtValue})"]

defSet
  Type: System.Collections.Generic
  HashSet
  PrtValue

  [Missing <param name="defSet"/> documentation for "M:P.Runtime.PrtStateStackFrame.#ctor(P.Runtime.PrtState,System.Collections.Generic.HashSet{P.Runtime.PrtValue},System.Collections.Generic.HashSet{P.Runtime.PrtValue})"]

actSet
  Type: System.Collections.Generic
  HashSet
  PrtValue

  [Missing <param name="actSet"/> documentation for "M:P.Runtime.PrtStateStackFrame.#ctor(P.Runtime.PrtState,System.Collections.Generic.HashSet{P.Runtime.PrtValue},System.Collections.Generic.HashSet{P.Runtime.PrtValue})"]

See Also

#### Reference

PrtStateStackFrame Class
P.Runtime Namespace