documentation tweaking

Author: edwindj

R/detect_contradicting_if_rules.R

@@ -1,4 +1,4 @@
-#' Detect infeasible if rules
+#' Detect contradictory if-rules
 #' 
 #' Detect whether conditions in if-rules may generate contradictions. Strictly
 #' speaking these rules do not make the rule set infeasible but rather make

examples/feasible.R

@@ -2,14 +2,20 @@ rules <- validator( x > 0)
 
 is_infeasible(rules)
 
+# infeasible system!
 rules <- validator( rule1 = x > 0
                   , rule2 = x < 0
                   )
 
 is_infeasible(rules)
 
 detect_infeasible_rules(rules, verbose=TRUE)
-make_feasible(rules, verbose = TRUE)
 
-# find out the conflict with this rule
-is_contradicted_by(rules, "rule1", verbose = TRUE)
+# but we want to keep rule1, so specify that it has an Inf weight
+detect_infeasible_rules(rules, weight=c(rule1=Inf), verbose=TRUE)
+
+# detect and remove
+make_feasible(rules, weight=c(rule1=Inf), verbose = TRUE)
+
+# find out the conflict with rule2
+is_contradicted_by(rules, "rule2", verbose = TRUE)