# Generated by roxygen2: do not edit by hand

S3method("[",dnf)
S3method(as.character,dnf)
S3method(as.character,mip_rule)
S3method(as.expression,dnf)
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_rules)
export(detect_redundancy)
export(is_categorical)
export(is_conditional)
export(is_contradicted_by)
export(is_implied_by)
export(is_infeasible)
export(is_linear)
export(make_feasible)
export(remove_redundancy)
export(simplify_conditional)
export(simplify_fixed_variables)
export(simplify_rules)
export(substitute_values)
import(validate)
importFrom(lpSolveAPI,"dimnames<-.lpExtPtr")
importFrom(methods,substituteDirect)
importFrom(stats,setNames)
importFrom(utils,head)
importFrom(utils,packageVersion)
importFrom(utils,tail)
