Learn R Programming
cna (version 0.1-3)

condTbl: Extract conditions and solutions from a cna object.

Description

cna, asf and csf extract minimally sufficient conditions, atomic solution formulas and complex solution formulas from a cna object, along with their consistencies and coverages.

as.condTbl reshapes the output produced by a call to condition in such a way to make it identical to that returned by msc and asf.

Usage

msc(x)
asf(x)
csf(x, asfx = asf(x))
## S3 method for class 'condTbl':
print(x, digits = 3, ...)
as.condTbl(condlst, ...)

Arguments

x
In msc, asf and csf : A cna-object
asfx
A condTbl object resulting from calling asf. The determination of the complex solution formulas requires the atomic solution formulas, execution of csf can thus be made slightly more if the asf have been extrac
digits
Number of digits to print in consistencies and coverages.
condlst
A list of objects, each of them of class cond. As returned by condition.
...
Passed to print.data.frame.

Value

  • cna, asf and as.condTbl return a data.frame with additional class attribute condTbl.

See Also

A general overview of the facilities in the cna package is given in cna-package.