iSATLibrary

クラス ISatLibrary

java.lang.Object

iSATLibrary.ISatLibrary

直系の既知のサブクラス:

ISatSolver

public class ISatLibrary
extends java.lang.Object

This class is the library to use incremental SAT APIs through JNA.

作成者:

Tatsuya Sako

ネストされたクラスのサマリー

ネストされたクラス

修飾子とタイプ	クラスと説明
static interface	ISatLibrary.IPASIR
static interface	ISatLibrary.ISATLIB

コンストラクタのサマリー

コンストラクタ

コンストラクタと説明
ISatLibrary(java.lang.String name)

メソッドのサマリー

クラスから継承されたメソッド java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

コンストラクタの詳細

ISatLibrary

public ISatLibrary(java.lang.String name)