tools.cpp

This file contains definitions of some generic functions. The functions have public scope and may be called at any point.