public static interface ISatLibrary.IPASIR
extends com.sun.jna.Library
修飾子とタイプ | メソッドと説明 |
---|---|
void |
ipasir_add(com.sun.jna.Pointer solver,
int lit_or_zero) |
void |
ipasir_assume(com.sun.jna.Pointer solver,
int lit) |
int |
ipasir_failed(com.sun.jna.Pointer solver,
int lit) |
com.sun.jna.Pointer |
ipasir_init() |
void |
ipasir_release(com.sun.jna.Pointer solver) |
void |
ipasir_set_terminate(com.sun.jna.Pointer solver,
com.sun.jna.Pointer state,
com.sun.jna.Callback callback) |
java.lang.String |
ipasir_signature() |
int |
ipasir_solve(com.sun.jna.Pointer solver) |
int |
ipasir_val(com.sun.jna.Pointer solver,
int lit) |
java.lang.String ipasir_signature()
com.sun.jna.Pointer ipasir_init()
void ipasir_release(com.sun.jna.Pointer solver)
void ipasir_add(com.sun.jna.Pointer solver, int lit_or_zero)
void ipasir_assume(com.sun.jna.Pointer solver, int lit)
int ipasir_solve(com.sun.jna.Pointer solver)
int ipasir_val(com.sun.jna.Pointer solver, int lit)
int ipasir_failed(com.sun.jna.Pointer solver, int lit)
void ipasir_set_terminate(com.sun.jna.Pointer solver, com.sun.jna.Pointer state, com.sun.jna.Callback callback)