/**
* Less-than operator when ignoring the node names.
*/
public bool structural_less_than(SafraTree other)
{
if (other.MAX_NODES < MAX_NODES)
{
return(true);
}
SafraTreeNode this_root = this.getRootNode();
SafraTreeNode other_root = other.getRootNode();
if (this_root == null)
{
if (other_root != null)
{
return(true);
}
else
{
return(false);
}
}
else
{
// this_root !=0
if (other_root == null)
{
return(false);
}
return(this_root.structural_less_than(other_root));
}
}