functionStatic
ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
2.22.0 cryptominisat-5.11.21/src/propby.h:196:18: style: The member function 'CMSat::PropBy::isBNN' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:207:14: style: The member function 'CMSat::PropBy::isRedStep' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:217:14: style: The member function 'CMSat::PropBy::getHyperbin' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:222:14: style: The member function 'CMSat::PropBy::setHyperbin' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:228:14: style: The member function 'CMSat::PropBy::getHyperbinNotAdded' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:233:14: style: The member function 'CMSat::PropBy::setHyperbinNotAdded' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:239:13: style: The member function 'CMSat::PropBy::getAncestor' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:247:14: style: The member function 'CMSat::PropBy::isClause' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:252:20: style: The member function 'CMSat::PropBy::getType' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:257:13: style: The member function 'CMSat::PropBy::lit2' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:265:18: style: The member function 'CMSat::PropBy::get_matrix_num' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:273:18: style: The member function 'CMSat::PropBy::get_row_num' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:281:18: style: The member function 'CMSat::PropBy::get_offset' can be static. [functionStatic]
2.22.0 cryptominisat-5.11.21/src/propby.h:296:14: style: The member function 'CMSat::PropBy::isNULL' can be static. [functionStatic]