API를 사용하여 하나의 'Predicate'가 다른 'Predicate'보다 더 엄격한 지 테스트하는 연산을 나타 냅니까?

Question

하나의 Predicate이 다른 Predicate보다 더 엄격한 지 테스트하기위한 작업을 Java로 표현하는 표준 방법이 있습니까?

내가 그러나 나는 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 .

이 유형의 검사는 예를 들어 캐시 된 검색 결과를 다시 사용합니다.

예 :

1. string.contains("xy") 엄격한보다 string.contains("x")
2. 입니다

   내가 도움이 될 수있는, isEqual() 및 equals() 참조, 그러나 더 최적화 ... 수

   EDIT있다 string.contains("xy") && string.contains("ab")은 단지 string.contains("xy")

보다 엄격합니다.
3. x > 3는 x > 2
4. string.contains("abc")이 엄격 체크 방법은 물론 영리 사례 별을 구현해야하지 엄격한

string.contains("cd")보다 엄격한보다.

EDIT 2 & 3 : 엄격한 조건부는 필터링에 사용될 때 덜 엄격한 조건의 하위 집합을 반환해야합니다.

편집 4 : 참고 : 구현을 요구하지 않습니다. 대신 표준 방법으로 해당 수표를 표현하려면 API이 있는지 묻는 중입니다.

Answer 1

설명하는 내용은 graph입니다. 당신이 사용할 수있는 Google 구아바의 술어 엄격 그래프를 정의하고 그것을 쿼리 할 graph API 새로운 : 자세한 내용은

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] 

이 지정된 조건보다 엄격한 조건에 대한 그래프를 조회 고려

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 

더 설명하기 위해 , GraphsExplained · google/guava Wiki을 참조하십시오.