APIを使用して、1つの「述語」が他の「述語」よりも厳しいかどうかをテストする操作を表現しますか？

Question

Javaで、Predicateが別のものよりも厳しいかどうかをテストする操作を表現する標準的な方法がありますか？Predicate？

私はしかし、私はAPIの中でそのような事を見ていない、pred1.isStricterThan(pred2)のようなものを想像：https://docs.oracle.com/javase/8/docs/api/java/util/function/Predicate.html とhttps://google.github.io/guava/releases/19.0/api/docs/com/google/common/base/Predicate.html 。

このタイプのチェックは、例えば、キャッシュされた検索結果を再利用する。

私は

EDIT ...しかし、可能なさらなる最適化があり、役に立つことができisEqual()とequals()を、以下を参照してください。

例：

1. string.contains("xy")がstring.contains("x")
2. より厳しいですstring.contains("xy") && string.contains("ab")は、ちょうどstring.contains("xy")の
より厳しいです
3. x > 3x > 2
4. string.contains("abc"より厳しい）厳密チェック方法はもちろん巧みケース・バイ・ケースを実装しなければならないstring.contains("cd")

より厳格ではありません。

EDIT 2 & 3：より厳密な述語は、フィルタリングに使用されるとき、より厳密でないもののサブセットを返す必要があります。

編集4：注：私はの実装を求めていません。むしろ、これらの小切手を標準的な方法で表現するには、APIがあるかどうかを尋ねています。

Answer 1

説明しているものはgraphです。あなたは述語厳密グラフを定義し、それを照会するには、Googleグアバの新しいgraph APIを使用することができます。

Predicate<String> containsX = string -> string.contains("x"); 
Predicate<String> containsXy = string -> string.contains("xy"); 
Predicate<String> containsXyAndAb = string -> string.contains("xy") 
     && string.contains("ab"); 
Predicate<Integer> greaterThan2 = x -> x > 2; 
Predicate<Integer> greaterThan3 = x -> x > 3; 
Predicate<String> containsAbc = string -> string.contains("abc"); 
Predicate<String> containsCd = string -> string.contains("cd"); 

MutableGraph<Predicate<?>> predicateStrictnessGraph = GraphBuilder.directed().build(); 

predicateStrictnessGraph.addNode(containsX); 
predicateStrictnessGraph.addNode(containsXy); 
predicateStrictnessGraph.addNode(containsXyAndAb); 
predicateStrictnessGraph.addNode(greaterThan3); 
predicateStrictnessGraph.addNode(containsAbc); 
predicateStrictnessGraph.addNode(containsCd); 

predicateStrictnessGraph.putEdge(containsXy, containsX); 
predicateStrictnessGraph.putEdge(containsXyAndAb, containsXy); 
predicateStrictnessGraph.putEdge(greaterThan3, greaterThan2); 

boolean isContainsXyStricterThanContainsX = 
     Graphs.reachableNodes(predicateStrictnessGraph, containsXy) 
       .contains(containsX); 
// result: true 

boolean isContainsXyStricterThanContainsXyAndAb = 
     Graphs.reachableNodes(predicateStrictnessGraph, containsXy) 
       .contains(containsXyAndAb); 
// result: false 

さらに、これは指定された述語より厳しい述語のためのグラフを照会検討し説明するために：

Predicate<String> containsAb = string -> string.contains("ab"); 
predicateStrictnessGraph.addNode(containsAb); 
predicateStrictnessGraph.putEdge(containsAbc, containsAb); 
predicateStrictnessGraph.putEdge(containsXyAndAb, containsAb); 
Set<Predicate<?>> containsAbAndStricterPredicates = 
     Graphs.reachableNodes(Graphs.transpose(predicateStrictnessGraph), containsAb); 
// result: [containsAb, containsAbc, containsXyAndAb] 

詳細について、GraphsExplained · google/guava Wikiを参照してください。