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

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

st: Type: P.RuntimePrtState
[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.GenericHashSetPrtValue
[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.GenericHashSetPrtValue
[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})"]