TXBasicStateRecord[] mStateRecordList = new TXBasicStateRecord[mNumberOfResources];
//set up abstract records
for (int i = 0; i < mNumberOfResources; i++)
{
mStateRecordList[i] = new TXBasicStateRecord();
}
for (int j = 0; j < mNumberOfResources; j++)
{
for (int i = 0; i < mMaxIteration; i++)