- 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
-