Package it.unich.jgmp

Class RandState.RandomStateCleaner

  • All Implemented Interfaces:
    java.lang.Runnable
    Enclosing class:
    RandState

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

      Fields 
      Modifier and Type Field Description
      private com.sun.jna.Pointer randstatePointer  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void run()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • randstatePointer

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

      • RandomStateCleaner

        RandomStateCleaner​(GmpRandstateT randstateNative)
    • Method Detail

      • run

        public void run()
        Specified by:
        run in interface java.lang.Runnable