/** * Get disjunctive normal form for an expression * * @param term The expression * @return <code>term</code> in DNF */ public static ATermAppl dnf(final ATermAppl term) { return dnfFromNnf(nnf(term)); }
/** * Get disjunctive normal form for an expression * * @param term The expression * @return <code>term</code> in DNF */ public static ATermAppl dnf(final ATermAppl term) { return dnfFromNnf(nnf(term)); }
else final ATermAppl dnfA = dnfFromNnf(a); conjuncts.add(dnfA); i.append((ATermList) a.getArgument(0)); else args.add(dnfFromNnf(a));
else final ATermAppl dnfA = dnfFromNnf(a); conjuncts.add(dnfA); i.append((ATermList) a.getArgument(0)); else args.add(dnfFromNnf(a));