editrules (version 2.7.2)

isObviouslyInfeasible: Check for obvious contradictions in a set of edits

Description

Obvious contradictions are edits of the form $1 < 0$, or categorical edits defining that a record fails for any value combination If this function evaluates to TRUE, the set of edits is guaranteed infeasible. If it evaluates to FALSE this does not garuantee feasibility. See isFeasible for a complete test.

Usage

isObviouslyInfeasible(E, ...)

  ## S3 method for class 'editmatrix':
isObviouslyInfeasible(E,
    tol = sqrt(.Machine$double.eps), ...)

  ## S3 method for class 'editarray':
isObviouslyInfeasible(E, ...)

  ## S3 method for class 'editset':
isObviouslyInfeasible(E, ...)

  ## S3 method for class 'editlist':
isObviouslyInfeasible(E, ...)

  ## S3 method for class 'editenv':
isObviouslyInfeasible(E, ...)

Arguments

E

An editset, editmatrix, editarray, editlist

...

Arguments to be passed to or from other methods.

tol

Tolerance for checking against zero.

Value

• A logical for objects of class editset, editarray or editmatrix. A logical vector in the case of an editlist or editset.

See Also

isObviouslyRedundant, isFeasible eliminate editmatrix