How to use

getType

method

in

openllet.aterm.ATermAppl

@Override
public boolean equivalent(final SharedObject obj)
{
  if (obj instanceof ATermAppl)
  {
    final ATermAppl peer = (ATermAppl) obj;
    if (peer.getType() != getType())
      return false;
    if (peer.getAFun().equals(_fun))
    {
      for (int i = 0; i < _args.length; i++)
        if (!peer.getArgument(i).equals(_args[i]))
          return false;
      return true;//peer.getAnnotations().equals(getAnnotations());
    }
  }
  return false;
}