Go to the source code of this file.
typedef struct s_fm_vector s_fm_vector_t |
void fm_vector_compute_key | ( | z_type_t * | key, | |
s_fm_vector_t * | v | |||
) |
The key must work on 'size - 1' since its value is used in subsumption test.
s_fm_vector_t* fm_vector_alloc | ( | size_t | size | ) | [inline] |
Beware to consider appropriate length to deal with 'eq/ineq' bit.
s_fm_vector_t* fm_vector_dup | ( | s_fm_vector_t * | v1 | ) | [inline] |
int fm_vector_init | ( | s_fm_vector_t * | v, | |
size_t | size | |||
) | [inline] |
void fm_vector_free | ( | s_fm_vector_t * | v | ) | [inline] |
void fm_vector_read | ( | FILE * | stream, | |
s_fm_vector_t * | v, | |||
unsigned | size | |||
) | [inline] |
void fm_vector_print | ( | FILE * | stream, | |
s_fm_vector_t * | v | |||
) | [inline] |
void fm_vector_set_ineq | ( | s_fm_vector_t * | v | ) | [inline] |
void fm_vector_set_eq | ( | s_fm_vector_t * | v | ) | [inline] |
int fm_vector_assign | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1 | |||
) | [inline] |
int fm_vector_assign_at | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_assign_idx | ( | s_fm_vector_t * | v, | |
s_fm_rational_t * | r, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_expand | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1 | |||
) | [inline] |
int fm_vector_expand_at | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_shrink | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_assign_int_idx | ( | s_fm_vector_t * | v, | |
z_type_t | i, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_is_null | ( | s_fm_vector_t * | v | ) | [inline] |
int fm_vector_is_empty | ( | s_fm_vector_t * | v | ) | [inline] |
int fm_vector_is_valid | ( | s_fm_vector_t * | v | ) | [inline] |
int fm_vector_is_scalar_cst | ( | s_fm_vector_t * | v | ) | [inline] |
int fm_vector_opp | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1 | |||
) | [inline] |
int fm_vector_add | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
s_fm_vector_t * | v2 | |||
) | [inline] |
int fm_vector_sub | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
s_fm_vector_t * | v2 | |||
) | [inline] |
int fm_vector_normalize_idx | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1, | |||
unsigned | idx | |||
) | [inline] |
int fm_vector_to_z | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1 | |||
) | [inline] |
int fm_vector_resize | ( | s_fm_vector_t * | v, | |
s_fm_vector_t * | v1 | |||
) | [inline] |
int fm_vector_equal | ( | s_fm_vector_t * | v1, | |
s_fm_vector_t * | v2 | |||
) | [inline] |
int fm_vector_do_subsume | ( | s_fm_vector_t * | v1, | |
s_fm_vector_t * | v2 | |||
) | [inline] |
LNP
s_fm_vector_t* fm_vector_read_str | ( | char * | stream | ) |