isFeasible {editrules}

Check consistency of set of edits

Description

When variables are eliminated one by one from a set of edits, eventually either no edits are left or an obvious contradiction is encountered. In the case no records can obey all edits in the set which is therefore inFeasible.

Usage

isFeasible(E, warn = FALSE)

Arguments

E

an editmatrix, editarray or editset

warn

logical: should a warning be emitted when system is infeasible?

Value

TRUE or FALSE

Note

This function can potentially take a long time to complete, especially when many connected (conditional) edits are present. Consider using blocks to check feasibility of indendent blocks.

See Also

isObviouslyInfeasible, isObviouslyRedundant