private void RemoveTransitiveEdges()
{
V_0 = this.GenerateNodeToIndex();
V_1 = this.GeenrateAdjacencyMatrix(V_0);
this.WarsawTransitiveClosure(V_1);
V_2 = this.inferenceGraph.GetEnumerator();
try
{
while (V_2.MoveNext())
{
V_3 = V_2.get_Current();
V_4 = this.inferenceGraph.GetEnumerator();
try
{
while (V_4.MoveNext())
{
V_5 = V_4.get_Current();
V_6 = this.inferenceGraph.GetEnumerator();
try
{
while (V_6.MoveNext())
{
V_7 = V_6.get_Current();
V_8 = V_0.get_Item(V_3);
V_9 = V_0.get_Item(V_5);
V_10 = V_0.get_Item(V_7);
if (!V_1[V_8, V_9] || !V_1[V_9, V_10] || V_3.get_IsHardNode() && V_7.get_IsHardNode() || !V_3.get_SubTypes().Contains(V_7))
{
continue;
}
this.RemoveSubtype(V_3, V_7);
}
}
finally
{
if (V_6 != null)
{
V_6.Dispose();
}
}
}
}
finally
{
if (V_4 != null)
{
V_4.Dispose();
}
}
}
}
finally
{
if (V_2 != null)
{
V_2.Dispose();
}
}
return;
}
