private void RandomizeButton_Click(object sender, EventArgs e)
{
Source.Preferences Data = Source.Preferences.GetInstance();
Data.Randomize();
m_Network.Randomize();
dump();
}
private void runThread()
{
m_running_start_time = DateTime.Now;
DateTime time_sample = m_running_start_time;
for (int batch_index = 0; batch_index < 100; batch_index++)
{
bool Stable = false;
while (m_running && !Stable)
{
Stable = m_Network.Step(false);
dumpCallback d = new dumpCallback(dump);
if (d != null)
{
Invoke(d, new object[] { false });
}
}
dumpCallback d2 = new dumpCallback(dump);
if (d2 != null)
{
Invoke(d2, new object[] { true });
}
if (m_batch && m_running)
{
Console.WriteLine("{0}: {1}, {2}", batch_index, TotalHappinessTextBox.Text, m_Network.IsLegaySolution());
if (!m_Network.IsLegaySolution())
{
Console.Write("");
}
Source.Preferences Data = Source.Preferences.GetInstance();
Data.Randomize();
m_Network.Randomize();
}
else
{
break;
}
}
m_running = false;
m_batch = false;
}
