private void Gather(T element)
{
this.opened.Remove(element);
this.closed.Add(element);
if (element.OwnerObject is BinaryOperation)
{
BinaryOperation bin = element.OwnerObject as BinaryOperation;
int h = bin.LeftOperand.OwnerWeight.HashCode;
T next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
bin[leftTermName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
bin[leftTermName] = next.OwnerObject;
}
}
h = bin.RightOperand.OwnerWeight.HashCode;
next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
bin[rightTermName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
bin[rightTermName] = next.OwnerObject;
}
}
}
else if (element.OwnerObject is UnaryOperation)
{
UnaryOperation u = element.OwnerObject as UnaryOperation;
int h = u.InnerOperand.OwnerWeight.HashCode;
T next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
u[innerOperandName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
u[innerOperandName] = next.OwnerObject;
}
}
}
else if (element.OwnerObject is Term)
{
Term t = element.OwnerObject as Term;
int h = t.Constant.OwnerWeight.HashCode;
T next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
t[constantName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
t[constantName] = next.OwnerObject;
}
}
h = t.Coefficient.OwnerWeight.HashCode;
next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
t[coefName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
t[coefName] = next.OwnerObject;
}
}
h = t.Unknown.OwnerWeight.HashCode;
next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
t[unknownName] = next.OwnerObject;
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
t[unknownName] = next.OwnerObject;
}
}
}
else if (element.OwnerObject is Sum)
{
Sum s = element.OwnerObject as Sum;
for (int index = 0; index < s.Items.Count(); ++index)
{
int h = s.Items.ElementAt(index).OwnerWeight.HashCode;
T next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
s.Replace(s.Items.ElementAt(index), next.OwnerObject);
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
s.Replace(s.Items.ElementAt(index), next.OwnerObject);
}
}
}
}
else if (element.OwnerObject is Product)
{
Product p = element.OwnerObject as Product;
for (int index = 0; index < p.Items.Count(); ++index)
{
int h = p.Items.ElementAt(index).OwnerWeight.HashCode;
T next = this.opened.Find(x => x.HashCode == h);
if (next != null)
{
this.Gather(next);
p.Replace(p.Items.ElementAt(index), next.OwnerObject);
}
else
{
next = this.closed.Find(x => x.HashCode == h);
if (next != null)
{
p.Replace(p.Items.ElementAt(index), next.OwnerObject);
}
}
}
}
}
/// <summary>
/// Computes a weight from a unary operator
/// </summary>
/// <param name="op">unary term object</param>
/// <returns>weight of this object</returns>
public static Weight ComputeWeight(UnaryOperation op)
{
return(new Weight(UnaryOperatorValueType, op.Operator, new Weight[] { op.InnerOperand.OwnerWeight as Weight }, op));
}
