vector.c File Reference


Defines

#define FM_MAX_VECT_SIZE   4096

Functions

void fm_vector_compute_key (z_type_t *key, s_fm_vector_t *v)
s_fm_vector_tfm_vector_alloc (size_t size)
s_fm_vector_tfm_vector_dup (s_fm_vector_t *v1)
int fm_vector_init (s_fm_vector_t *v, size_t size)
void fm_vector_free (s_fm_vector_t *v)
static int fm_issep (char c)
void fm_vector_read (FILE *stream, s_fm_vector_t *v, unsigned size)
s_fm_vector_tfm_vector_read_str (char *stream)
void fm_vector_print (FILE *stream, s_fm_vector_t *v)
int fm_vector_assign (s_fm_vector_t *v, s_fm_vector_t *v1)
int fm_vector_assign_at (s_fm_vector_t *v, s_fm_vector_t *v1, unsigned idx)
void fm_vector_set_ineq (s_fm_vector_t *v)
void fm_vector_set_eq (s_fm_vector_t *v)
int fm_vector_assign_idx (s_fm_vector_t *v, s_fm_rational_t *r, unsigned idx)
int fm_vector_expand (s_fm_vector_t *v, s_fm_vector_t *v1)
int fm_vector_expand_at (s_fm_vector_t *v, s_fm_vector_t *v1, unsigned idx)
int fm_vector_shrink (s_fm_vector_t *v, s_fm_vector_t *v1, unsigned idx)
int fm_vector_assign_int_idx (s_fm_vector_t *v, z_type_t i, unsigned idx)
int fm_vector_is_null (s_fm_vector_t *v)
int fm_vector_is_empty (s_fm_vector_t *v)
int fm_vector_is_valid (s_fm_vector_t *v)
int fm_vector_is_scalar_cst (s_fm_vector_t *v)
int fm_vector_opp (s_fm_vector_t *v, s_fm_vector_t *v1)
int fm_vector_add (s_fm_vector_t *v, s_fm_vector_t *v1, s_fm_vector_t *v2)
int fm_vector_sub (s_fm_vector_t *v, s_fm_vector_t *v1, s_fm_vector_t *v2)
int fm_vector_normalize_idx (s_fm_vector_t *v, s_fm_vector_t *v1, unsigned idx)
int fm_vector_to_z (s_fm_vector_t *v, s_fm_vector_t *v1)
int fm_vector_resize (s_fm_vector_t *v, s_fm_vector_t *v1)
int fm_vector_equal (s_fm_vector_t *v1, s_fm_vector_t *v2)
int fm_vector_do_subsume (s_fm_vector_t *v1, s_fm_vector_t *v2)

Define Documentation

#define FM_MAX_VECT_SIZE   4096


Function Documentation

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


Generated on Fri Oct 31 00:49:13 2008 for FM by  doxygen 1.5.3