@Override public final IExpr or(final IExpr that) { return F.Or(this, that); }
public IExpr or(final IExpr that) { return F.Or(this, that); }
default IExpr or(final IExpr that) { return F.Or(this, that); }
public static IExpr or(IExpr a, java.math.BigInteger i) { return Or(a, integer(i)); }
public static IExpr or(java.math.BigInteger i, IExpr b) { return Or(integer(i), b); }
/** * If any expression evaluates to <code>true</code> for a given unary predicate function return * <code>True</code>, if all are <code>false</code> return <code>False</code>, else return an * <code>Or(...)</code> expression of the result expressions. * * @param list * list of expressions * @param head * the head of a unary predicate function * @param engine * @return */ public IExpr anyTrue(IAST list, IExpr head, EvalEngine engine) { IASTAppendable logicalOr = F.Or(); if (list.exists(x -> anyTrueArgument(x, head, logicalOr, engine))) { return F.True; } return logicalOr.isAST0() ? F.False : logicalOr; }
return F.Or(result); } else if (formula instanceof Not) { Not a = (Not) formula;
IAST list = roots(arg1, false, variables, engine); if (list.isPresent()) { IASTAppendable or = F.Or(); for (int i = 1; i < list.size(); i++) { or.append(F.Equal(variable, list.get(i)));
F.LessEqual(F.Plus(n, ns, F.Negate(nt)), F.Slot1), F.Less(F.Slot1, n), F.Less(F.Slot1, ns))), F.List(F.C1, F.Or(F.GreaterEqual(F.Slot1, n), F.GreaterEqual(F.Slot1, ns)))),