Javadoc for the PGM class