C# (CSharp) PrtContinuationReasonの例

コード例 #1

ファイル: PrtBaseClasses.cs プロジェクト: linpelvis/P

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

コード例 #2

ファイル: PrtBaseClasses.cs プロジェクト: vincentjzimmer/P

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