internal void makeSuccessorGTTsP2(RMSGTTRTC ar) { #region add rejected tuples foreach (var ngtt in ar.ngtts) { makeSuccessorGTTsP2NGTTS(ar, ngtt); } #endregion add rejected tuples markAdded(false); }
internal void makeSuccessorGTTsP1(RMSGTTRTC ar) { makeSuccessorGTTsP1A(ar); ar.outRTs = new MSGTTRT[0]; }