Index

A

add_clause() (satoku.SatokuMatrix method) add_cv() (satoku.Clause method) add_region() (satoku.SatokuMatrix method)

add_variables() (satoku.SatokuMatrix method) AndClause (class in satoku) annotate() (satoku.Clause method) (satoku.ClauseVector method)

C

can_fold() (satoku.Clause method) (satoku.ClauseVector method) cell_rows() (satoku.SatokuMatrix method) cell_rows_() (satoku.SatokuMatrix method) check_minor_ccrs() (satoku.SatokuMatrix method) Clause (class in satoku) clause (satoku.SMClause attribute) ClauseVector (class in satoku) clean_clauses() (in module satoku) clear_superset_updates() (satoku.SatokuMatrix method)

combine_bin_conflicts() (satoku.SatokuMatrix method) combine_cells() (satoku.SatokuMatrix method) combine_cells_() (satoku.SatokuMatrix method) combine_reducable_cells() (satoku.SatokuMatrix method) combine_states() (satoku.SatokuMatrix method) combine_states_() (satoku.SatokuMatrix method) conflicts_with() (satoku.Clause method) (satoku.ClauseVector method) contains() (satoku.Clause method) (satoku.ClauseVector method) copy() (satoku.Clause method) (satoku.ClauseVector method)

D

delete_2_state_cell_rows() (satoku.SatokuMatrix method) delete_clause() (satoku.SatokuMatrix method) delete_clauses() (satoku.SatokuMatrix method) delete_killed_rows() (satoku.SatokuMatrix method) delete_redundant_clauses() (satoku.SatokuMatrix method) delete_rows() (satoku.SatokuMatrix method)

delete_single_clues() (satoku.SatokuMatrix method) dump() (satoku.SatokuMatrix method) (satoku.SelRow method) dump_bound() (satoku.SatokuMatrix method) dump_minor_ccrs() (satoku.SatokuMatrix method) dump_regions() (in module satoku) dump_stats() (satoku.SatokuMatrix method)

E

equals() (satoku.Clause method) (satoku.ClauseVector method) eval_problem_commands() (satoku.SatokuMatrix method)

expand() (satoku.Clause method) (satoku.SelRow method)

F

find_bin_conflicts() (satoku.SatokuMatrix method) find_reducable_cells() (satoku.SatokuMatrix method) fix_ones() (satoku.SelRow method) flatten() (satoku.Problem method) fmt_cell_row() (satoku.SatokuMatrix method)

fmt_cell_row_abs() (satoku.SatokuMatrix method) fmt_state_row() (satoku.SatokuMatrix method) fmt_state_row_abs() (satoku.SatokuMatrix method) fold() (satoku.Clause method) (satoku.ClauseVector method) (satoku.Problem method)

H

has_one() (satoku.Clause method) (satoku.ClauseVector method)

has_zero() (satoku.Clause method) (satoku.ClauseVector method)

I

image() (satoku.SatokuMatrix method) index() (satoku.Clause method) (satoku.ClauseVector method) is_bound() (satoku.SatokuMatrix method)

is_bound_() (satoku.SatokuMatrix method) is_minor_ccr() (satoku.SatokuMatrix method) is_minor_ccr_() (satoku.SatokuMatrix method)

K

key() (satoku.Clause method) (satoku.ClauseVector method)

kill_row() (satoku.SatokuMatrix method)

L

LoopMark (class in satoku)

M

map_conflicts() (satoku.SatokuMatrix method) map_problem() (satoku.SatokuMatrix method) matrix (satoku.SMClause attribute) max_conflicts() (satoku.Clause method) (satoku.ClauseVector method) (satoku.Problem method) max_depth() (satoku.Clause method) (satoku.ClauseVector method) max_max_conflicts() (satoku.Clause method) (satoku.ClauseVector method) (satoku.Problem method)

max_used() (satoku.Clause method) (satoku.ClauseVector method) max_width() (satoku.Clause method) (satoku.ClauseVector method) minimize() (satoku.Clause method) minimize_() (satoku.Clause method) minor_ccr_default_param() (satoku.SatokuMatrix method)

N

negate() (satoku.Clause method) (satoku.ClauseVector method) next_bound() (satoku.SatokuMatrix method)

next_minor_ccr() (satoku.SatokuMatrix method) next_ofs() (satoku.SMClause method)

O

one_count() (satoku.SatokuMatrix method) one_count_quick() (satoku.SatokuMatrix method)

OrClause (class in satoku)

P

parse_clauses() (in module satoku) parse_clauses_() (in module satoku) parse_file() (satoku.Problem method) (satoku.SatokuMatrix method) parse_string() (satoku.ClauseVector method) (satoku.Problem method)

permute_cols() (in module satoku) Problem (class in satoku) problem (satoku.SatokuMatrix attribute) progress() (satoku.Clause method) (satoku.SatokuMatrix method)

R

rebuild_clauses_and_maps() (satoku.SatokuMatrix method) region (satoku.SMRegionIterator attribute) remove_duplicates() (satoku.Clause method) remove_redundant() (satoku.Clause method) (satoku.ClauseVector method)

remove_redundant_min() (satoku.Clause method) required_selection() (satoku.SatokuMatrix method) required_selection_() (satoku.SatokuMatrix method) row_update_request() (satoku.SatokuMatrix method)

S

satoku (module) SatokuDone SatokuError SatokuMatrix (class in satoku) SatokuSatisfied SatokuUnsatisfied sdiff() (satoku.ClauseVector method) selection_request() (satoku.SatokuMatrix method) selection_request_() (satoku.SatokuMatrix method) SelRow (class in satoku)

set_region() (satoku.SatokuMatrix method) set_width() (satoku.Clause method) (satoku.ClauseVector method) SMClause (class in satoku) SMRegion (class in satoku) SMRegionIterator (class in satoku) SMStats (class in satoku) sort() (satoku.Clause method) (satoku.ClauseVector method) sort_by_index() (satoku.Clause method) (satoku.ClauseVector method) split() (satoku.Clause method) (satoku.ClauseVector method) (satoku.Problem method) superset_update_request() (satoku.SatokuMatrix method)

U

update_cols() (satoku.ClauseVector method) update_row() (satoku.SatokuMatrix method) update_rows() (satoku.SatokuMatrix method)

update_superset_rows() (satoku.SatokuMatrix method) update_supersets() (satoku.SatokuMatrix method) update_zeroes() (satoku.SatokuMatrix method)

X

xor_conflicts() (satoku.Clause method) (satoku.ClauseVector method) (satoku.Problem method)

Z

zero_change() (satoku.SatokuMatrix method)

zero_change_() (satoku.SatokuMatrix method)