/// <summary> Break ties. Corresponds to step 7
///
/// </summary>
/// <param name="v">the invariance pair vector
/// </param>
private void breakTies(System.Collections.ArrayList v)
{
System.Collections.IEnumerator it = v.GetEnumerator();
InvPair curr;
InvPair last = null;
int tie = 0;
bool found = false;
//UPGRADE_TODO: Method 'java.util.Iterator.hasNext' was converted to 'System.Collections.IEnumerator.MoveNext' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratorhasNext'"
for (int x = 0; it.MoveNext(); x++)
{
//UPGRADE_TODO: Method 'java.util.Iterator.next' was converted to 'System.Collections.IEnumerator.Current' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratornext'"
curr = (InvPair)it.Current;
curr.Curr = curr.Curr * 2;
curr.setPrime();
if (x != 0 && !found && curr.Curr == last.Curr)
{
tie = x - 1;
found = true;
}
last = curr;
}
curr = (InvPair)v[tie];
curr.Curr = curr.Curr - 1;
curr.setPrime();
}
/// <summary>
/// Break ties. Corresponds to step 7
/// </summary>
/// <param name="v">the invariance pair vector</param>
private static void BreakTies(List <InvPair> v)
{
InvPair last = null;
int tie = 0;
bool found = false;
int x;
x = 0;
foreach (var curr in v)
{
curr.Curr = curr.Curr * 2;
curr.SetPrime();
if (x != 0 && !found && curr.Curr == last.Curr)
{
tie = x - 1;
found = true;
}
last = curr;
x++;
}
var v_tie = v[tie];
v_tie.Curr = v_tie.Curr - 1;
v_tie.SetPrime();
}
/// <summary> Rank atomic vector, corresponds to step 4.
///
/// </summary>
/// <param name="v">the invariance pair vector
/// </param>
private void rankVector(System.Collections.ArrayList v)
{
int num = 1;
int[] temp = new int[v.Count];
InvPair last = (InvPair)v[0];
System.Collections.IEnumerator it = v.GetEnumerator();
InvPair curr;
//UPGRADE_TODO: Method 'java.util.Iterator.hasNext' was converted to 'System.Collections.IEnumerator.MoveNext' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratorhasNext'"
for (int x = 0; it.MoveNext(); x++)
{
//UPGRADE_TODO: Method 'java.util.Iterator.next' was converted to 'System.Collections.IEnumerator.Current' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratornext'"
curr = (InvPair)it.Current;
if (!last.Equals(curr))
{
num++;
}
temp[x] = num;
last = curr;
}
it = v.GetEnumerator();
//UPGRADE_TODO: Method 'java.util.Iterator.hasNext' was converted to 'System.Collections.IEnumerator.MoveNext' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratorhasNext'"
for (int x = 0; it.MoveNext(); x++)
{
//UPGRADE_TODO: Method 'java.util.Iterator.next' was converted to 'System.Collections.IEnumerator.Current' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javautilIteratornext'"
curr = (InvPair)it.Current;
curr.Curr = temp[x];
curr.setPrime();
}
}
/// <summary>
/// Rank atomic vector, corresponds to step 4.
/// </summary>
/// <param name="v">the invariance pair vector</param>
private static void RankArrayList(List <InvPair> v)
{
int num = 1;
var temp = new int[v.Count];
InvPair last = (InvPair)v[0];
int x;
x = 0;
foreach (var curr in v)
{
if (!last.Equals(curr))
{
num++;
}
temp[x++] = num;
last = curr;
}
x = 0;
foreach (var curr in v)
{
curr.Curr = temp[x++];
curr.SetPrime();
}
}
