renaming it to contradicting

Author: edwindj

NAMESPACE

@@ -8,8 +8,8 @@ S3method(print,dnf)
 S3method(print,mip_rule)
 export(detect_boundary_cat)
 export(detect_boundary_num)
+export(detect_contradicting_if_rules)
 export(detect_fixed_variables)
-export(detect_infeasible_if_rules)
 export(detect_infeasible_rules)
 export(detect_redundancy)
 export(is_categorical)

R/detect_infeasible_if_rules.R R/detect_contradicting_if_rules.RR/detect_infeasible_if_rules.R renamed to R/detect_contradicting_if_rules.R

@@ -7,9 +7,9 @@
 #' @param verbose Logical. If `TRUE`, print the results.
 #' @return A list of contradictions found in the if clauses, or `NULL` if none are found.
 #' @family feasibility
-#' @example ./examples/detect_infeasible_if_rules.R
+#' @example ./examples/detect_contradicting_if_rules.R
 #' @export
-detect_infeasible_if_rules <- function(x, ..., verbose = TRUE){
+detect_contradicting_if_rules <- function(x, ..., verbose = TRUE){
   res <- detect_if_clauses(x, ...)
   if (length(res) == 0){
     if (verbose){

examples/detect_infeasible_if_rules.R examples/detect_contradicting_if_rules.Rexamples/detect_infeasible_if_rules.R renamed to examples/detect_contradicting_if_rules.R

@@ -3,4 +3,4 @@ rules <- validator(
   if (nace == "a")  export == "n"
 )
 
-detect_infeasible_if_rules(rules)
+detect_contradicting_if_rules(rules)

issues/issue16.Rmd

@@ -0,0 +1,22 @@
+---
+output: github_document
+---
+
+
+```{r}
+library(validate)
+library(validatetools)
+
+rules <- validator(
+  if (nace == "a") export == "y",
+  if (nace == "a")  export == "n"
+)
+
+detect_contradicting_if_rules(rules)
+```
+
+
+```{r}
+conflicts <- detect_contradicting_if_rules(rules, verbose=FALSE)
+conflicts
+```