Definition at line 53 of file PSVerification.hh.
Referenced by update_ABCDH(), update_FG(), and update_L().