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 Vespa.ai. 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.jupiter.api.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.jupiter.api.Assertions.assertEquals;
/**
* @author <a href="mailto:magnarn@yahoo-inc.com">Magnar Nedland</a>
*/
public class AndOrSimplifierTest {
@Test
void requireThatNestedConjunctionsAreCollapsed() {
assertSimplified(and(feature("a").inSet("b"),
feature("c").inSet("d")),
and(and(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
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
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
void requireThatNestedDisjunctionsAreCollapsed() {
assertSimplified(or(feature("a").inSet("b"),
feature("c").inSet("d")),
or(or(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
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
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
void requireThatConjunctionsAndDisjunctionsAreNotCollapsed() {
assertSimplified(and(or(feature("a").inSet("b"),
feature("c").inSet("d"))),
and(or(feature("a").inSet("b"),
feature("c").inSet("d"))));
}
@Test
void requireThatNotOrIsTranslatedToAndNot() {
assertSimplified(
and(feature("a").notInSet("b"), feature("c").inSet("d")),
not(or(feature("a").inSet("b"), feature("c").notInSet("d"))));
}
@Test
void requireThatNotAndIsTranslatedToOrNot() {
assertSimplified(
or(feature("a").notInSet("b"), feature("c").inSet("d")),
not(and(feature("a").inSet("b"), feature("c").notInSet("d"))));
}
@Test
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
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
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);
}
}
|
