factplusplus-d ~master (2022-02-21T06:53:57.0931003)
Dub
Repo
fact_reasoning_kernel_free
fact
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
extern (
D
) extern (
C
)
void
fact_reasoning_kernel_free
(
fact_reasoning_kernel
*
)
Meta
Source
See Implementation
fact
aliases
fact_actor
fact_axiom
fact_concept_expression
fact_d_role_expression
fact_data_expression
fact_data_type_expression
fact_data_value_expression
fact_expression
fact_facet_expression
fact_individual_expression
fact_o_role_complex_expression
fact_o_role_expression
fact_progress_monitor
fact_reasoning_kernel
fact_role_expression
functions
_fact_concept_actor_new
_fact_individual_actor_new
_fact_o_role_actor_new
fact_actor_free
fact_add_arg
fact_and
fact_bottom
fact_classify_kb
fact_clear_kb
fact_compose
fact_concept
fact_concept_actor_new
fact_d_cardinality
fact_d_exists
fact_d_forall
fact_d_max_cardinality
fact_d_min_cardinality
fact_d_role_actor_new
fact_d_value
fact_data_and
fact_data_bottom
fact_data_not
fact_data_one_of
fact_data_or
fact_data_role
fact_data_role_bottom
fact_data_role_top
fact_data_top
fact_data_type
fact_data_value
fact_declare
fact_disjoint_concepts
fact_disjoint_d_roles
fact_disjoint_o_roles
fact_disjoint_union
fact_equal_concepts
fact_equal_d_roles
fact_equal_o_roles
fact_facet_max_exclusive
fact_facet_max_inclusive
fact_facet_min_exclusive
fact_facet_min_inclusive
fact_get_bool_data_type
fact_get_d_role_domain
fact_get_direct_instances
fact_get_disjoint_concepts
fact_get_elements_1d
fact_get_elements_2d
fact_get_equivalent_concepts
fact_get_equivalent_roles
fact_get_instances
fact_get_int_data_type
fact_get_o_role_domain
fact_get_real_data_type
fact_get_role_range
fact_get_same_as
fact_get_sub_concepts
fact_get_sub_roles
fact_get_sup_concepts
fact_get_sup_roles
fact_get_synonyms
fact_get_time_data_type
fact_get_types
fact_get_version
fact_getr_data_type
fact_implies_concepts
fact_implies_d_roles
fact_implies_o_roles
fact_individual
fact_individual_actor_new
fact_instance_of
fact_inverse
fact_is_asymmetric
fact_is_d_functional
fact_is_disjoint
fact_is_disjoint_d_roles
fact_is_disjoint_o_roles
fact_is_disjoint_roles
fact_is_equivalent
fact_is_instance
fact_is_inverse_functional
fact_is_irreflexive
fact_is_kb_classified
fact_is_kb_consistent
fact_is_kb_preprocessed
fact_is_kb_realised
fact_is_o_functional
fact_is_reflexive
fact_is_related
fact_is_same_individuals
fact_is_satisfiable
fact_is_sub_chain
fact_is_sub_d_roles
fact_is_sub_o_roles
fact_is_subsumed_by
fact_is_symmetric
fact_is_transitive
fact_new_arg_list
fact_new_kb
fact_not
fact_o_cardinality
fact_o_exists
fact_o_forall
fact_o_max_cardinality
fact_o_min_cardinality
fact_o_role_actor_new
fact_o_value
fact_object_role
fact_object_role_bottom
fact_object_role_top
fact_one_of
fact_or
fact_preprocess_kb
fact_process_different
fact_process_same
fact_project_from
fact_project_into
fact_realise_kb
fact_reasoning_kernel_free
fact_reasoning_kernel_new
fact_related_to
fact_related_to_not
fact_release_kb
fact_restricted_type
fact_retract
fact_self_reference
fact_set_asymmetric
fact_set_d_domain
fact_set_d_functional
fact_set_d_range
fact_set_fairness_constraint
fact_set_inverse_functional
fact_set_inverse_roles
fact_set_irreflexive
fact_set_o_domain
fact_set_o_functional
fact_set_o_range
fact_set_operation_timeout
fact_set_progress_monitor
fact_set_reflexive
fact_set_symmetric
fact_set_top_bottom_role_names
fact_set_transitive
fact_set_verbose_output
fact_top
fact_value_of
fact_value_of_not