Package it.unich.jgmp

Class RandState.RandomStateCleaner

java.lang.Object
it.unich.jgmp.RandState.RandomStateCleaner
All Implemented Interfaces:
Runnable
Enclosing class:
RandState

private static class RandState.RandomStateCleaner extends Object implements Runnable
Cleaning action for the RandState class.
  • Field Details

    • randstatePointer

      private com.sun.jna.Pointer randstatePointer
  • Constructor Details

    • RandomStateCleaner

      RandomStateCleaner(GmpRandstateT randstateNative)
  • Method Details

    • run

      public void run()
      Specified by:
      run in interface Runnable