grapes-holds_in-grapes: Implications that hold in a Formal Context

%holds_in%R Documentation

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


fcaR documentation built on April 28, 2023, 1:11 a.m.