muteria.statistics.main module¶

class muteria.statistics.main.StatsComputer[source]¶

Bases: object

static compute_stats(config, explorer, checkpointer)[source]¶

static merge_lexecoutput_into_right(lexecoutput_file, rexecoutput_file)[source]¶

static merge_lmatrix_into_right(lmatrix_file, rmatrix_file)[source]¶

muteria.statistics.main.get_subsuming_elements(matrix_file)[source]¶