Zh666-lab/moonconcept/examples/roles

README
- ::equalFcaError::equal
- ::not_equalFcaError::not_equal
- ::to_reprFcaError::to_repr
- ::attribute_classesClarification::attribute_classes
- ::expand_extentClarification::expand_extent
- ::expand_intentClarification::expand_intent
- ::object_classesClarification::object_classes
- ::to_reprClarification::to_repr
- ::equalClosureTrace::equal
- ::not_equalClosureTrace::not_equal
- ::to_reprClosureTrace::to_repr
- ::equalConcept::equal
- ::not_equalConcept::not_equal
- ::to_reprConcept::to_repr
- ::appositionContext::apposition
- ::attribute_countContext::attribute_count
- ::attribute_indexContext::attribute_index
- ::attribute_labelsContext::attribute_labels
- ::attributesContext::attributes
- ::canonical_basisContext::canonical_basis
- ::clarifyContext::clarify
- ::closureContext::closure
- ::concept_forContext::concept_for
- ::concept_reportContext::concept_report
- ::conceptsContext::concepts
- ::counterexample_labelsContext::counterexample_labels
- ::counterexamplesContext::counterexamples
- ::densityContext::density
- ::dualContext::dual
- ::equalContext::equal
- ::extentContext::extent
- ::filter_rulesContext::filter_rules
- ::frequent_conceptsContext::frequent_concepts
- ::generator_rulesContext::generator_rules
- ::hasContext::has
- ::implication_forContext::implication_for
- ::intentContext::intent
- ::is_closedContext::is_closed
- ::latticeContext::lattice
- ::lattice_reportContext::lattice_report
- ::minimal_generatorsContext::minimal_generators
- ::next_intentContext::next_intent
- ::not_equalContext::not_equal
- ::object_closureContext::object_closure
- ::object_countContext::object_count
- ::object_indexContext::object_index
- ::object_labelsContext::object_labels
- ::objectsContext::objects
- ::projectContext::project
- ::rowsContext::rows
- ::rule_metricsContext::rule_metrics
- ::subpositionContext::subposition
- ::supportContext::support
- ::to_csvContext::to_csv
- ::to_cxtContext::to_cxt
- ::to_jsonContext::to_json
- ::to_json_stringContext::to_json_string
- ::to_reprContext::to_repr
- ::valid_conceptContext::valid_concept
- ::valid_implicationContext::valid_implication
- ::with_objectContext::with_object
- ::without_objectContext::without_object
- ::equalCover::equal
- ::not_equalCover::not_equal
- ::to_reprCover::to_repr
- ::acceptExploration::accept
- ::contextExploration::context
- ::next_questionExploration::next_question
- ::rejectExploration::reject
- ::theoryExploration::theory
- ::to_reprExploration::to_repr
- ::equalImplication::equal
- ::not_equalImplication::not_equal
- ::to_reprImplication::to_repr
- ::equalInferenceStep::equal
- ::not_equalInferenceStep::not_equal
- ::to_reprInferenceStep::to_repr
- ::bottomLattice::bottom
- ::conceptLattice::concept
- ::coversLattice::covers
- ::find_extentLattice::find_extent
- ::find_intentLattice::find_intent
- ::intervalLattice::interval
- ::joinLattice::join
- ::join_allLattice::join_all
- ::leqLattice::leq
- ::lower_coversLattice::lower_covers
- ::meetLattice::meet
- ::meet_allLattice::meet_all
- ::sizeLattice::size
- ::to_dotLattice::to_dot
- ::to_reprLattice::to_repr
- ::topLattice::top
- ::upper_coversLattice::upper_covers
- ::equalRuleMetrics::equal
- ::not_equalRuleMetrics::not_equal
- ::to_reprRuleMetrics::to_repr
- ::attribute_countRuleSystem::attribute_count
- ::auditRuleSystem::audit
- ::closureRuleSystem::closure
- ::entailsRuleSystem::entails
- ::equivalentRuleSystem::equivalent
- ::implicationsRuleSystem::implications
- ::inference_reportRuleSystem::inference_report
- ::irredundantRuleSystem::irredundant
- ::is_modelRuleSystem::is_model
- ::reduce_premisesRuleSystem::reduce_premises
- ::split_conclusionsRuleSystem::split_conclusions
- ::to_jsonRuleSystem::to_json
- ::to_json_stringRuleSystem::to_json_string
- ::to_reprRuleSystem::to_repr
- ::traceRuleSystem::trace
- ::with_ruleRuleSystem::with_rule
- ::equalScoredRule::equal
- ::not_equalScoredRule::not_equal
- ::to_reprScoredRule::to_repr
V
checked_indices
V
context
V
context_from_sets
V
exploration
V
implication
V
index_set
V
model_respects
V
parse_context_json
V
parse_csv
V
parse_cxt
V
parse_rules_json
V
rule_system
V
set_difference
V
set_equal
V
set_intersection
V
set_subset
V
set_union
V
universe