PrtMachinePrtFunContNondet Method

public void PrtFunContNondet(
	PrtFun fun,
	List<PrtValue> locals,
	int ret
)

Public Sub PrtFunContNondet ( 
	fun As PrtFun,
	locals As List(Of PrtValue),
	ret As Integer
)

public:
void PrtFunContNondet(
	PrtFun^ fun, 
	List<PrtValue^>^ locals, 
	int ret
)

member PrtFunContNondet : 
        fun : PrtFun * 
        locals : List<PrtValue> * 
        ret : int -> unit 

Parameters

fun

Type: P.RuntimePrtFun

[Missing <param name="fun"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNondet(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

locals

Type: System.Collections.GenericListPrtValue

[Missing <param name="locals"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNondet(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

ret

Type: SystemInt32

[Missing <param name="ret"/> documentation for "M:P.Runtime.PrtMachine.PrtFunContNondet(P.Runtime.PrtFun,System.Collections.Generic.List{P.Runtime.PrtValue},System.Int32)"]

Reference