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; }