public override bool AddAnnot(ITerm t)
{
if (annotations == null)
{
annotations = new ListTermImpl();
}
IEnumerator <IListTerm> en = annotations.ListTermIterator();
while (en.MoveNext())
{
IListTerm lt = en.Current;
int c = t.CompareTo(lt.GetTerm());
if (c == 0)
{
return(false);
}
else if (c < 0)
{
lt.Insert(t);
return(true);
}
}
return(false);
}
