ナビゲーション・リンクをスキップ
A B C D F G I M N O R S U V 

I

init() - インタフェース のメソッドiSATLibrary.ISatSolver
 
init() - クラス のメソッドiSATLibrary.SatSolverForNative
Constructs a new SAT solver.
init() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
invoke(IntByReference) - インタフェース のメソッドiSATLibrary.SatSolverForNative.ICallback
 
invoke(IntByReference) - クラス のメソッドiSATLibrary.SatSolverForNative.UserCallback
 
ipasir_add(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_assume(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_failed(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_init() - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_release(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_set_terminate(Pointer, Pointer, Callback) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_signature() - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_solve(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
ipasir_val(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.IPASIR
 
isat_add_assumptions(Pointer, int[], int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Adds assumption literals to SAT Solver at once.
isat_add_blocking_clause(Pointer, int[], int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Adds blocking clause to restrict a certain solution.
isat_add_clauses(Pointer, int[], int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Adds clause(s) to SAT solver.
isat_add_PB(Pointer, int[], int[], int, int, boolean) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Adds PB constraint to the solver.
isat_add_PB_with_assumption(Pointer, int[], int[], int, int, boolean, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Adds PB constraint to the solver with assumption.
isat_clauses(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Gets the number of clauses of SAT solver.
isat_clean(Pointer, Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Releases a pointer allocated native code.
isat_failed(Pointer, int[], int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Get result of assumption literals if each of them used proving unsatisfiability.
isat_freeze(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Freezes a literal.
isat_get_time(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Gets elapsed time from invocation of SAT solver.
isat_is_eliminated(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Checks if literal is frozen.
isat_model(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Gets assignments of all variables.
isat_new_var(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Sets SAT variables to SAT solver newly.
isat_set_verbosity(Pointer, int) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Sets the verbosity of SAT solver's output.
isat_vars(Pointer) - インタフェース のメソッドiSATLibrary.ISatLibrary.ISATLIB
Gets the number of variables of SAT solver.
iSATLibrary - パッケージ iSATLibrary
 
ISatLibrary - iSATLibraryのクラス
This class is the library to use incremental SAT APIs through JNA.
ISatLibrary(String) - クラス のコンストラクタiSATLibrary.ISatLibrary
 
ISatLibrary.IPASIR - iSATLibraryのインタフェース
 
ISatLibrary.ISATLIB - iSATLibraryのインタフェース
 
ISatSolver - iSATLibraryのインタフェース
 
isEliminated(int) - インタフェース のメソッドiSATLibrary.ISatSolver
 
isEliminated(int) - クラス のメソッドiSATLibrary.SatSolverForNative
Checks if the literal is frozen.
isEliminated(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
isParamClause - クラス のstatic変数iSATLibrary.SatSolverForSat4j
 
isusc - クラス の変数iSATLibrary.SatSolverForSat4j
 
A B C D F G I M N O R S U V 
ナビゲーション・リンクをスキップ