%holds_in% {fcaR}

Implications that hold in a Formal Context

Description

Implications that hold in a Formal Context

Usage

imps %holds_in% fc

Arguments

imps

(ImplicationSet) The set of implications to test if hold in the formal context.

fc

(FormalContext) A formal context where to test if the implications hold.

Value

A logical vector, indicating if each implication holds in the formal context.

Examples

fc <- FormalContext$new(planets)
fc$find_implications()
imps <- fc$implications$clone()
imps %holds_in% fc