improved example for simplify_conditional

Author: edwindj

examples/simplify_conditional.R

@@ -1,5 +1,14 @@
 library(validate)
 
+# superfluous conditions
+rules <- validator(
+  r1 = if (x > 0) x < 1,
+  r2 = if (x > 0 && x > 1) y > 0
+)
+# r1 means that x > 0 is superfluous
+# r2 means that x > 0 is superfluous
+simplify_conditional(rules)
+
 # non-relaxing clause
 rules <- validator( r1 = if (x > 1) y > 3
                   , r2 = y < 2