1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
// Copyright 2016 Yahoo Inc. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root.
package com.yahoo.search.predicate.optimization;
import com.yahoo.document.predicate.Predicate;
import org.junit.Test;
import static com.yahoo.document.predicate.Predicates.and;
import static com.yahoo.document.predicate.Predicates.feature;
import static com.yahoo.document.predicate.Predicates.not;
import static com.yahoo.document.predicate.Predicates.or;
import static org.junit.Assert.assertEquals;
/**
* @author <a href="mailto:magnarn@yahoo-inc.com">Magnar Nedland</a>
*/
public class AndOrSimplifierTest {
@Test
public void requireThatNestedConjunctionsAreCollapsed() {
assertSimplified(and(feature("a").inSet("b"),
feature("c").inSet("d")),
and(and(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
public void requireThatNestedConjuctionsAreCollapsedInPlace() {
assertSimplified(and(feature("a").inSet("b"),
feature("c").inSet("d"),
feature("e").inSet("f")),
and(feature("a").inSet("b"),
and(feature("c").inSet("d")),
feature("e").inSet("f")));
}
@Test
public void requireThatDeeplyNestedConjunctionsAreCollapsed() {
assertSimplified(and(feature("a").inSet("b"),
feature("c").inSet("d"),
feature("e").inSet("f"),
feature("g").inSet("h"),
feature("i").inSet("j")),
and(feature("a").inSet("b"),
and(feature("c").inSet("d")),
feature("e").inSet("f"),
and(and(feature("g").inSet("h"),
feature("i").inSet("j")))));
}
@Test
public void requireThatNestedDisjunctionsAreCollapsed() {
assertSimplified(or(feature("a").inSet("b"),
feature("c").inSet("d")),
or(or(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
public void requireThatNestedDisjuctionsAreCollapsedInPlace() {
assertSimplified(or(feature("a").inSet("b"),
feature("c").inSet("d"),
feature("e").inSet("f")),
or(feature("a").inSet("b"),
or(feature("c").inSet("d")),
feature("e").inSet("f")));
}
@Test
public void requireThatDeeplyNestedDisjunctionsAreCollapsed() {
assertSimplified(or(feature("a").inSet("b"),
feature("c").inSet("d"),
feature("e").inSet("f"),
feature("g").inSet("h"),
feature("i").inSet("j")),
or(feature("a").inSet("b"),
or(feature("c").inSet("d")),
feature("e").inSet("f"),
or(or(feature("g").inSet("h"),
feature("i").inSet("j")))));
}
@Test
public void requireThatConjunctionsAndDisjunctionsAreNotCollapsed() {
assertSimplified(and(or(feature("a").inSet("b"),
feature("c").inSet("d"))),
and(or(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
public void requireThatNotOrIsTranslatedToAndNot() {
assertSimplified(
and(feature("a").notInSet("b"), feature("c").inSet("d")),
not(or(feature("a").inSet("b"), feature("c").notInSet("d"))));
}
@Test
public void requireThatNotAndIsTranslatedToOrNot() {
assertSimplified(
or(feature("a").notInSet("b"), feature("c").inSet("d")),
not(and(feature("a").inSet("b"), feature("c").notInSet("d"))));
}
@Test
public void requireThatTreeWithoutNotIsNotAffected() {
assertSimplified(
and(feature("a").inSet("b"), feature("c").notInSet("d")),
and(feature("a").inSet("b"), feature("c").notInSet("d")));
assertSimplified(
or(feature("a").inSet("b"), feature("c").notInSet("d")),
or(feature("a").inSet("b"), feature("c").notInSet("d")));
assertSimplified(feature("a").inSet("b"), feature("a").inSet("b"));
}
@Test
public void requireThatNotOfNotIsRemoved() {
assertSimplified(feature("a").inSet("b"), not(not(feature("a").inSet("b"))));
assertSimplified(feature("a").inSet("b"), not(feature("a").notInSet("b")));
assertSimplified(feature("a").notInSet("b"), not(not(feature("a").notInSet("b"))));
}
@Test
public void requireThatNotBeneathAndIsTranslated() {
assertSimplified(
and(feature("a").notInSet("b"), feature("c").inSet("d"), feature("b").inSet("c")),
and(not(or(feature("a").inSet("b"), feature("c").notInSet("d"))), feature("b").inSet("c")));
}
private static void assertSimplified(Predicate expected, Predicate input) {
AndOrSimplifier simplifier = new AndOrSimplifier();
Predicate actual = simplifier.process(input, new PredicateOptions(10));
assertEquals(expected, actual);
}
}
|
