是否有用于存储布尔表达式的数据结构？

Question

我需要存储这样的布尔表达式：

x1 AND x2 AND x3 OR (x4 AND x5) AND (NOT x6)

每个x变量都是一个布尔表达式，如=或！=的值。问题是存储嵌套的AND和OR子句（在它们内部和/或彼此内部），并用not包装它们。包裹深度可以很深。

Java SDK是否具有这些表达式的数据结构？

Answer 1

abstract class Predicate {...}
class AndPredicate extends Predicate {
  private Predicate[] conjuncts;
  ...
}
class OrPredicate extends Predicate {
  private Predicate[] disjuncts;
  ...
}
class NotPredicate extends Predicate {
  Predicate negated;
  ...
}

有什么问题？

Answer 2

你可以试着用jexl(http://commons.apache.org/jexl/)

JexlEngine jexl = new JexlEngine();
    jexl.setSilent(true);
    jexl.setLenient(true);

    Expression expression = jexl.createExpression("(a || b && (c && d))");
    JexlContext jexlContext = new MapContext();

    //b and c and d should pass
    jexlContext.set("b",true);
    jexlContext.set("c",true);
    jexlContext.set("d",true);

    assertTrue((Boolean)expression.evaluate(jexlContext));

    jexlContext = new MapContext();

    //b and c and NOT d should be false
    jexlContext.set("b",true);
    jexlContext.set("c",true);

    //note this works without setting d to false on the context
    //because null evaluates to false

    assertFalse((Boolean)expression.evaluate(jexlContext));

这个问题的例子

PS：它不包括在标准的sdk，但很容易使用。

Answer 3

在Java8功能接口谓词

这是Java文档。

这里有各种各样的例子。

因此，在您的用例中，它将是以下内容：

public static Predicate<Integer> equals(Integer compare) {
    return i -> i.equals(compare);
}

public static Predicate<Integer> complex() {
    return equals(1).and(equals(2)).and(equals(3)).or(equals(4).and(equals(5))).and(equals(6).negate());
}

记住-只Java8岁以上！