We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 982a597 commit 5f09161Copy full SHA for 5f09161
docs/filtersets.md
@@ -28,13 +28,14 @@ enum Filterset {
28
29
**Flattening**
30
31
-And([... And(children) ...]) -> And(flattened)
32
-Or([... Or(children) ...]) -> Or(flattened)
33
-Not(Not(X)) -> X
34
-And([A]) -> A
35
-Or([A]) -> A
+- And([... And(children) ...]) -> And(flattened)
+- Or([... Or(children) ...]) -> Or(flattened)
+- Not(Not(X)) -> X
+- And([A]) -> A
+- Or([A]) -> A
36
37
**One Rule To Rule Them All**
38
+
39
RelDnf(clauses, RelDnf(clauses2, A)) -> new clauses: c\_1 \times c\_2 (if the result won't be too big)
40
41
**RelDnf in Or/And**
0 commit comments