public Node Clone()
{
Node n = new Node(V0, V1, V2);
n.Level = Level;
if (LeftNode != null)
{
n.LeftNode = LeftNode.Clone();
}
if (RightNode != null)
{
n.RightNode = RightNode.Clone();
}
return(n);
}
public InspirationalBranch Clone(Solver solver)
{
InspirationalBranch clone = new InspirationalBranch(solver);
clone.Inspirational = Inspirational;
if (LeftNode != null)
{
clone.LeftNode = LeftNode.Clone(solver);
}
if (RightNode != null)
{
clone.RightNode = RightNode.Clone(solver);
}
return(clone);
}
