static void SplitActions(State state, Action a, Action b)
{
Action c;
BitArray seta, setb, setc;
seta = a.Symbols();
setb = b.Symbols();
if (Sets.Equals(seta, setb))
{
a.AddTargets(b);
state.DetachAction(b);
}
else if (Sets.Includes(seta, setb))
{
setc = (BitArray)seta.Clone();
Sets.Subtract(setc, setb);
b.AddTargets(a);
a.ShiftWith(setc);
}
else if (Sets.Includes(setb, seta))
{
setc = (BitArray)setb.Clone();
Sets.Subtract(setc, seta);
a.AddTargets(b);
b.ShiftWith(setc);
}
else
{
setc = (BitArray)seta.Clone();
setc.And(setb);
Sets.Subtract(seta, setc);
Sets.Subtract(setb, setc);
a.ShiftWith(seta);
b.ShiftWith(setb);
c = new Action(0, 0, Node.normalTrans); // typ and sym are set in ShiftWith
c.AddTargets(a);
c.AddTargets(b);
c.ShiftWith(setc);
state.AddAction(c);
}
}
void SplitActions(State state, Action a, Action b)
{
Action c; CharSet seta, setb, setc;
seta = a.Symbols(tab); setb = b.Symbols(tab);
if (seta.Equals(setb)) {
a.AddTargets(b);
state.DetachAction(b);
} else if (seta.Includes(setb)) {
setc = seta.Clone(); setc.Subtract(setb);
b.AddTargets(a);
a.ShiftWith(setc, tab);
} else if (setb.Includes(seta)) {
setc = setb.Clone(); setc.Subtract(seta);
a.AddTargets(b);
b.ShiftWith(setc, tab);
} else {
setc = seta.Clone(); setc.And(setb);
seta.Subtract(setc);
setb.Subtract(setc);
a.ShiftWith(seta, tab);
b.ShiftWith(setb, tab);
c = new Action(0, 0, Node.normalTrans); // typ and sym are set in ShiftWith
c.AddTargets(a);
c.AddTargets(b);
c.ShiftWith(setc, tab);
state.AddAction(c);
}
}
