How to use

getAFun

method

in

openllet.aterm.ATermAppl

public static boolean isComplexClass(final ATerm c)
{
  if (c instanceof ATermAppl)
  {
    final ATermAppl a = (ATermAppl) c;
    final AFun f = a.getAFun();
    return CLASS_FUN.contains(f);
  }
  return false;
}

public static boolean isComplexClass(final ATerm c)
{
  if (c instanceof ATermAppl)
  {
    final ATermAppl a = (ATermAppl) c;
    final AFun f = a.getAFun();
    return CLASS_FUN.contains(f);
  }
  return false;
}

public final static boolean isAllValues(final ATermAppl a)
{
  return ALLFUN.equals(a.getAFun());
}

final static public boolean isAnonNominal(final ATermAppl term)
{
  return term.getAFun().equals(ANON_NOMINAL_FUN);
}

final static public boolean isRestrictedDatatype(final ATermAppl term)
{
  return term.getAFun().equals(RESTRDATATYPEFUN);
}

public final static boolean isSelf(final ATermAppl a)
{
  return SELFFUN.equals(a.getAFun());
}

public final static boolean isLiteral(final ATermAppl a)
{
  return LITFUN.equals(a.getAFun());
}

public final static boolean isPropertyAssertion(final ATermAppl a)
{
  return PROPFUN.equals(a.getAFun());
}

public final static boolean isTypeAssertion(final ATermAppl a)
{
  return TYPEFUN.equals(a.getAFun());
}

final static public boolean isInv(final ATermAppl r)
{
  return INVFUN.equals(r.getAFun());
}

public final static boolean isNot(final ATermAppl a)
{
  return NOTFUN.equals(a.getAFun());
}

public final static boolean isLiteral(final ATermAppl a)
{
  return LITFUN.equals(a.getAFun());
}

public final static boolean isTypeAssertion(final ATermAppl a)
{
  return TYPEFUN.equals(a.getAFun());
}

public final static boolean isAnd(final ATermAppl a)
{
  return ANDFUN.equals(a.getAFun());
}

public final static boolean isOr(final ATermAppl a)
{
  return ORFUN.equals(a.getAFun());
}

public final static boolean isSomeValues(final ATermAppl a)
{
  return SOMEFUN.equals(a.getAFun());
}

public final static boolean isMax(final ATermAppl a)
{
  return MAXFUN.equals(a.getAFun());
}

public boolean isUnique(final ATermAppl axiom)
{
  return _eqClassAxioms.isEmpty() && (_subClassAxioms.isEmpty() || axiom.getAFun().equals(ATermUtils.SUBFUN));
}

public boolean isUnique(final ATermAppl axiom)
{
  return _eqClassAxioms.isEmpty() && (_subClassAxioms.isEmpty() || axiom.getAFun().equals(ATermUtils.SUBFUN));
}

public final static boolean isOneOf(final ATermAppl a)
{
  if (!ORFUN.equals(a.getAFun()))
    return false;
  ATermList list = (ATermList) a.getArgument(0);
  while (!list.isEmpty())
  {
    if (!isNominal((ATermAppl) list.getFirst()))
      return false;
    list = list.getNext();
  }
  return true;
}