src/parsing/pla_parser.cpp
void pla_parser::on_number_of_terms(std::size_t number_of_terms) const
{
    (void)number_of_terms; // this cast prevents a compile time warning [-Wunused-variable] and
                           // supposedly generates no code
}
/**
 * @brief Empty function doing nothing
 * @param number_of_terms  The number of terms specified in the .pla file
 *
 * As the parsing can not really make use of this information, it is completely ignored.
 */
@brief Empty function doing nothing
@param number_of_terms  The number of terms specified in the .pla file

As the parsing can not really make use of this information, it is completely ignored.
@brief Empty function doing nothing @param number_of_terms The number of terms specified in the . pla file As the parsing can not really make use of this information it is completely ignored .
void pla_parser::on_number_of_terms(std::size_t number_of_terms) const
{
    (void)number_of_terms; 
}
void pla_parser :: on_number_of_terms ( std :: size_t number_of_terms ) const { ( void ) number_of_terms ; }
@brief Empty function doing nothing
 @param number_of_terms  The number of terms specified in the .pla file
@brief Empty function doing nothing @param number_of_terms The number of terms specified in the . pla file
// this cast prevents a compile time warning [-Wunused-variable] and // supposedly generates no code