List of all items
Structs
Functions
- kure_I
- kure_L
- kure_O
- kure_all
- kure_and
- kure_atom
- kure_check_version
- kure_complement
- kure_context_deref
- kure_context_destroy
- kure_context_get_error
- kure_context_get_manager
- kure_context_get_random_func
- kure_context_get_random_udata
- kure_context_get_refs
- kure_context_new
- kure_context_new_with_manager
- kure_context_random
- kure_context_ref
- kure_context_set_error
- kure_context_set_random_func
- kure_direct_product_new
- kure_direct_product_new_si
- kure_direct_sum
- kure_direct_sum_new
- kure_direct_sum_new_si
- kure_dom_destroy
- kure_dom_get_comp
- kure_dom_get_comp_count
- kure_dom_get_name
- kure_dom_new_copy
- kure_domain
- kure_equals
- kure_error_destroy
- kure_error_new
- kure_get_bit
- kure_get_bit_fast
- kure_get_bit_fast_si
- kure_get_bit_si
- kure_get_entries
- kure_get_entries_si
- kure_identity
- kure_includes
- kure_inj_1
- kure_inj_1_dom
- kure_inj_1_si
- kure_inj_2
- kure_inj_2_dom
- kure_inj_2_si
- kure_is_cardeq
- kure_is_cardleq
- kure_is_cardlt
- kure_is_empty
- kure_is_hom
- kure_is_row_complete_si
- kure_is_univalent
- kure_is_vector
- kure_lang_assign
- kure_lang_exec
- kure_lang_expr_to_lua
- kure_lang_load
- kure_lang_load_file
- kure_lang_parse
- kure_lang_parse_file
- kure_lang_set_assert_func
- kure_lang_to_lua
- kure_left_residue
- kure_left_tupling
- kure_less_card
- kure_lua_destroy
- kure_lua_exec
- kure_lua_get_context
- kure_lua_get_rel_copy
- kure_lua_isdom
- kure_lua_isrel
- kure_lua_new
- kure_lua_set_dom_copy
- kure_lua_set_global_context
- kure_lua_set_rel_copy
- kure_lua_todom
- kure_lua_torel
- kure_maxsets
- kure_maxsets_downset
- kure_membership
- kure_minsets
- kure_minsets_upset
- kure_mult
- kure_mult_norm_transp
- kure_mult_transp_norm
- kure_mult_transp_transp
- kure_null
- kure_num_vars
- kure_or
- kure_partial_funcs
- kure_partial_funcs_si
- kure_product_order
- kure_proj_1
- kure_proj_1_dom
- kure_proj_1_si
- kure_proj_2
- kure_proj_2_dom
- kure_proj_2_si
- kure_random
- kure_random_full
- kure_random_full_si
- kure_random_no_cycles
- kure_random_no_cycles_full
- kure_random_no_cycles_full_si
- kure_random_no_cycles_simple
- kure_random_perm
- kure_random_perm_full
- kure_random_perm_full_si
- kure_random_perm_simple
- kure_random_simple
- kure_refl_hull
- kure_rel_assign_from_string
- kure_rel_cols_fits_si
- kure_rel_destroy
- kure_rel_fits_si
- kure_rel_get_bdd
- kure_rel_get_cols
- kure_rel_get_cols_si
- kure_rel_get_context
- kure_rel_get_rows
- kure_rel_get_rows_si
- kure_rel_get_vars_cols
- kure_rel_get_vars_rows
- kure_rel_new
- kure_rel_new_copy
- kure_rel_new_from_bdd
- kure_rel_new_from_bdd_si
- kure_rel_new_from_string
- kure_rel_new_with_cols
- kure_rel_new_with_proto
- kure_rel_new_with_rows
- kure_rel_new_with_size
- kure_rel_new_with_size_si
- kure_rel_prod_fits_si
- kure_rel_read_from_dddmp_file
- kure_rel_read_from_dddmp_stream
- kure_rel_rows_fits_si
- kure_rel_same_dim
- kure_rel_set_bdd
- kure_rel_set_size
- kure_rel_set_size_si
- kure_rel_to_string
- kure_rel_write_to_dddmp_file
- kure_rel_write_to_dddmp_stream
- kure_right_residue
- kure_right_tupling
- kure_set_bit
- kure_set_bit_si
- kure_set_error
- kure_set_error_va
- kure_set_row
- kure_set_row_si
- kure_subsetvec_rel
- kure_successors
- kure_successors_si
- kure_sum_order
- kure_symm_hull
- kure_symm_quotient
- kure_total_funcs
- kure_total_funcs_si
- kure_trans_hull
- kure_transpose
- kure_tupling
- kure_vec_begin
- kure_vec_begin_full
- kure_vec_begin_full_si
- kure_vec_get_entries
- kure_vec_get_entries_si
- kure_vec_inj
- kure_vec_next
- kure_vec_point
Type Aliases
- KureContext
- KureDom
- KureError
- KureParserObserver
- KureRandomFunc
- KureRel
- Kure_bool
- Kure_success
- _KureDirection
- _KureErrorCode
- __builtin_va_list
- va_list
Statics
Constants
- KURE_DOLLAR_SUBST
- KURE_MAJOR_VERSION
- KURE_MICRO_VERSION
- KURE_MINOR_VERSION
- _KureDirection_KURE_DIR_DOWN_LEFT
- _KureDirection_KURE_DIR_DOWN_RIGHT
- _KureDirection_KURE_DIR_DOWN_UP
- _KureDirection_KURE_DIR_LEFT_RIGHT
- _KureErrorCode_KURE_ERR_DIFF_CONTEXTS
- _KureErrorCode_KURE_ERR_INV_ARG
- _KureErrorCode_KURE_ERR_NOT_COMPAT_DIM
- _KureErrorCode_KURE_ERR_NOT_SAME_DIM
- _KureErrorCode_KURE_ERR_NUM_TOO_BIG
- _KureErrorCode_KURE_ERR_OUT_OF_BOUNDS
- _KureErrorCode_KURE_ERR_SUCCESS