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];
}
