Ejemplos de PrtContinuationReason en C# (CSharp)

Ejemplo n.º 1

Archivo: PrtBaseClasses.cs Proyecto: linpelvis/P

 public PrtContinuation()
 {
     reason    = PrtContinuationReason.Return;
     retVal    = PrtValue.@null;
     nondet    = false;
     retLocals = new List <PrtValue>();
 }

Ejemplo n.º 2

Archivo: PrtBaseClasses.cs Proyecto: vincentjzimmer/P

 public PrtContinuation()
 {
     reason         = PrtContinuationReason.Return;
     createdMachine = null;
     retVal         = null;
     nondet         = false;
     retLocals      = new List <PrtValue>();
     receiveIndex   = -1;
 }