Index

A

add_conditional(), [1] add_conditionals(), [1] AMK_BDD (in module pypblib.pblib) AMK_BEST (in module pypblib.pblib) AMK_CARD (in module pypblib.pblib) AMO_BDD (in module pypblib.pblib)

AMO_BEST (in module pypblib.pblib) AMO_BIMANDER (in module pypblib.pblib) AMO_BINARY (in module pypblib.pblib) AMO_COMMANDER (in module pypblib.pblib) AMO_KPRODUCT (in module pypblib.pblib) AMO_NESTED (in module pypblib.pblib) AMO_PAIRWISE (in module pypblib.pblib)

B

binary_merge_no_support_for_single_bits()

BOTH (in module pypblib.pblib)

C

check_for_dup_literals() clear_conditional() clear_conditionals()

clear_database() comp_variable_asc() comp_variable_des_var() comp_varialbe_des()

E

encode() encode_at_least_k() encode_at_most_k() encode_both()

encode_geq() encode_inc_initial() encode_leq() encode_new_geq() encode_new_leq()

F

FIXED (in module pypblib.pblib) free_range_variables()

free_variable() free_variables()

G

GEQ (in module pypblib.pblib) get_biggest_returned_auxvar() get_clauses() get_comparator(), [1] get_conditionals(), [1] get_geq(), [1] get_geq_constraint() get_geq_inc_constraint()

get_leq(), [1] get_leq_constraint() get_leq_inc_constraint() get_max_sum() get_min_sum() get_n(), [1] get_num_clauses() get_variable() get_weighted_literals()

L

LEQ (in module pypblib.pblib)

N

N_HALF (in module pypblib.pblib)

N_SQRT (in module pypblib.pblib)

P

PB_ADDER (in module pypblib.pblib) PB_BDD (in module pypblib.pblib) PB_BEST (in module pypblib.pblib) PB_BINARY_MERGE (in module pypblib.pblib)

PB_SORTINGNETWORKS (in module pypblib.pblib) PB_SWC (in module pypblib.pblib) print_formula(), [1] pypblib.pblib (module), [1]

R

reset_aux_var_to()

reset_internal_unsat_state()

S

set_AMK_Encoder() set_AMO_Encoder() set_Bimander() set_bimander_m() set_commander_encoding_k() set_comparator(), [1]

set_geq() set_k_product_k() set_k_product_minimum_lit_count_for_splitting() set_leq() set_max_clause_per_constraint() set_PB_Encoder() set_use_formula_cache()

U

use_gac_binary_merge() use_real_robdds()

use_recursive_BDD_test() use_watch_dog_encoding_in_binary_merger()

W

WeightedLit (built-in class)