public void addElement(RatTerm t){
  underlying_terms.add(t);
  terms=(RatTerm[])underlying_terms.toArray(new RatTerm[]{});
}

public void addElement ( RatTerm t ) { underlying_terms . add ( t ) ; terms = ( RatTerm [ ] ) underlying_terms . toArray ( new RatTerm [ ] { } ) ; }
appending operation . requires : t ! = null modifies : this effects : adds the specified ratterm , ' t ' , to the end of this vector , increasing the vector ' s size by one . < br > e . g . given a rattermvec v = [ t2 , t3 , t4 ] , the statement " v . addelement ( t3 ) ; " will make v_post = [ t2 , t3 , t4 , t3 ] .
