core/include/HElib/NumbTh.h
//! Restore the PRG state of NTL
Restore the PRG state of NTL
Restore the PRG state of NTL
void restore() {
    if (!restored) {
      SetSeed(state);
      restored = true;
    }
  }
void restore ( ) { if ( ! restored ) { SetSeed ( state ) ; restored = true ; } }
Restore the PRG state of NTL
Restore the PRG state of NTL