Click or drag to resize

PrtContinuationReturnAndResetNondet Method

[Missing <summary> documentation for "M:P.Runtime.PrtContinuation.ReturnAndResetNondet"]

Namespace:  P.Runtime
Assembly:  Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)
Syntax
Copy
public bool ReturnAndResetNondet()

Return Value

Type: Boolean

[Missing <returns> documentation for "M:P.Runtime.PrtContinuation.ReturnAndResetNondet"]

See Also