ISatLibrary.IPASIR

ネストされたクラスのサマリー
- インタフェースから継承されたネストされたクラス/インタフェース com.sun.jna.Library
  com.sun.jna.Library.Handler

フィールド
修飾子とタイプ	フィールドと説明
`static ISatLibrary.IPASIR`	`INSTANCE`

All Methods Instance Methods Abstract Methods
修飾子とタイプ	メソッドと説明
`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)`
`java.lang.String`	`ipasir_signature()`
`int`	`ipasir_solve(com.sun.jna.Pointer solver)`
`int`	`ipasir_val(com.sun.jna.Pointer solver, int lit)`

static final ISatLibrary.IPASIR INSTANCE

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)

インタフェース ISatLibrary.IPASIR