internal static int gdfs(GState s)
{
GTrans t;
GScc c;
GScc scc = new GScc();
scc.gstate = s;
scc.rank = rank;
scc.theta = rank++;
scc.nxt = scc_stack;
scc_stack = scc;
s.incoming = 1;
for (t = s.trans.nxt; t != s.trans; t = t.nxt)
{
if (t.to.incoming == 0)
{
int result = gdfs(t.to);
scc.theta = Math.Min(scc.theta, result);
}
else
{
for (c = scc_stack.nxt; c != null; c = c.nxt)
{
if (c.gstate == t.to)
{
scc.theta = Math.Min(scc.theta, c.rank);
break;
}
}
}
}
if (scc.rank == scc.theta)
{
while (scc_stack != scc)
{
scc_stack.gstate.incoming = scc_id;
scc_stack = scc_stack.nxt;
}
scc.gstate.incoming = scc_id++;
scc_stack = scc.nxt;
}
return(scc.theta);
}
internal static void simplify_gscc()
{
GState s;
GTrans t;
int i;
int[][] scc_final;
rank = 1;
scc_stack = null;
scc_id = 1;
if (gstates == gstates.nxt)
{
return;
}
for (s = gstates.nxt; s != gstates; s = s.nxt)
{
s.incoming = 0; /* state color = white */
}
for (i = 0; i < init_size; i++)
{
if (init[i] != null && init[i].incoming == 0)
{
gdfs(init[i]);
}
}
scc_final = new int[scc_id][];
for (i = 0; i < scc_id; i++)
{
scc_final[i] = set.make_set(-1, 0);
}
for (s = gstates.nxt; s != gstates; s = s.nxt)
{
if (s.incoming == 0)
{
s = remove_gstate(s, null);
}
else
{
for (t = s.trans.nxt; t != s.trans; t = t.nxt)
{
if (t.to.incoming == s.incoming)
{
set.merge_sets(scc_final[s.incoming], t.final, 0);
}
}
}
}
scc_size = (scc_id + 1) / (8 * sizeof(int)) + 1;
bad_scc = set.make_set(-1, 2);
for (i = 0; i < scc_id; i++)
{
if (set.included_set(alternating.final_set, scc_final[i], 0) == 0)
{
set.add_set(bad_scc, i);
}
}
for (i = 0; i < scc_id; i++)
{
mem.tfree(scc_final[i]);
}
mem.tfree(scc_final);
}