- SatSolverForNative - iSATLibraryのクラス
-
This class is for using incremental SAT library API (IPASIR)
and its extended API available from Java.
- SatSolverForNative(String) - クラス のコンストラクタiSATLibrary.SatSolverForNative
-
- SatSolverForNative.ICallback - iSATLibraryのインタフェース
-
- SatSolverForNative.UserCallback - iSATLibraryのクラス
-
- SatSolverForSat4j - iSATLibraryのクラス
-
This class is for solving problem by using sat4j as backend SAT solver.
- SatSolverForSat4j() - クラス のコンストラクタiSATLibrary.SatSolverForSat4j
-
- saveClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- setBufferSize(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Sets a number of clauses added to SAT solver at a time.
- setFrozen(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- setFrozen(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Excludes a literal from the simplification of SAT solver.
- setFrozen(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- setTerminate(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- setTerminate(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Sets a callback function requiring a termination of solving to the solver.
- setTerminate(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- setVars(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- setVars(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
- setVars(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- setVerbosity(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- setVerbosity(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Sets the verbosity of SAT solver's output.
- setVerbosity(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- solve() - インタフェース のメソッドiSATLibrary.ISatSolver
-
- solve(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- solve() - クラス のメソッドiSATLibrary.SatSolverForNative
-
Solves a SAT problem.
- solve(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Solves a SAT problem with assumption.
- solve() - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- solve(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-