powered by
Equivalence Rules Registry
equivalencesRegistry
An object of class equivalence_registry (inherits from registry) of length 6.
equivalence_registry
registry
This is a registry that stores the equivalence rules that can be applied using the apply_rules() method in an ImplicationSet.
apply_rules()
ImplicationSet
One can obtain the list of available equivalence operators by: equivalencesRegistry$get_entry_names()
equivalencesRegistry$get_entry_names()