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

S

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
 
A B C D F G I M N O R S U V 
ナビゲーション・リンクをスキップ