Package it.unich.jgmp
Class RandState.RandomStateCleaner
- java.lang.Object
-
- it.unich.jgmp.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 theRandState
class.
-
-
Field Summary
Fields Modifier and Type Field Description private com.sun.jna.Pointer
randstatePointer
-
Constructor Summary
Constructors Constructor Description RandomStateCleaner(GmpRandstateT randstateNative)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
-
-
-
Constructor Detail
-
RandomStateCleaner
RandomStateCleaner(GmpRandstateT randstateNative)
-
-