displayVector()

void manager::displayVector ( const std::vector< token > &  vect )

staticprivate

displays a vector of tokens for debugging purposes

Parameters

vect	a vector of tokens

Returns

void