public class SatSolverForNative.UserCallback extends java.lang.Object implements SatSolverForNative.ICallback
コンストラクタと説明 |
---|
UserCallback() |
修飾子とタイプ | メソッドと説明 |
---|---|
int |
invoke(com.sun.jna.ptr.IntByReference state) |
public int invoke(com.sun.jna.ptr.IntByReference state)
invoke
インタフェース内 SatSolverForNative.ICallback