#define FM_MAX_VECT_SIZE 4096 |
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] |
static int fm_issep | ( | char | c | ) | [static] |
Allowed separators for vector are ',' '' ' '
void fm_vector_read | ( | FILE * | stream, | |
s_fm_vector_t * | v, | |||
unsigned | size | |||
) | [inline] |
s_fm_vector_t* fm_vector_read_str | ( | char * | stream | ) |
void fm_vector_print | ( | FILE * | stream, | |
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] |
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_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