extendint_Exit

void extendint_Exit(ExtendVectorINT *vec)

extendint_Add

void extendint_Add(ExtendVectorINT *vec,
INT elt)

extendint_Size

INT extendint_Size(ExtendVectorINT *vec)

extendint_Read

INT extendint_Read(ExtendVectorINT *vec,
INT eltnum)

extendint_ToSize

void extendint_ToSize(INT size,
ExtendVectorINT *vec)

extendint_incr

void extendint_incr(ExtendVectorINT *vec)

extendint_Clear

void extendint_Clear(ExtendVectorINT *vec)

if the vector is not big enough, make it bigger !!

void extendint_Exit(ExtendVectorINT *vec)
void extendint_Add(ExtendVectorINT *vec,
INT elt)
INT extendint_Size(ExtendVectorINT *vec)
INT extendint_Read(ExtendVectorINT *vec,
INT eltnum)
void extendint_ToSize(INT size,
ExtendVectorINT *vec)
void extendint_incr(ExtendVectorINT *vec)
void extendint_Clear(ExtendVectorINT *vec)
if the vector is not big enough, make it bigger !!
Close