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

G

get_int_model_by_binary() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets SAT solution (assignments to SAT variables) by binary integer array.
getClauses() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getClauses() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets the number of clauses in SAT solver.
getClauses() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getFailed(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
 
getFailed(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
Get results of assumption literals if used proving unsatisfiability.
getFailed(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getIntModel() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getIntModel() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets SAT solution (assignments to SAT variables) by integer array.
getIntModel() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getModel() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getModel() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets SAT solution (assignments to SAT variables) by bitset.
getModel() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getMUS() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getMUS() - クラス のメソッドiSATLibrary.SatSolverForNative
 
getMUS() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getSignature() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getSignature() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets a signature of SAT solver.
getSignature() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getSolverName() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getSolverName() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets a name of SAT solver.
getSolverName() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getTime() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getTime() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets total time of invocation of SAT solver.
getTime() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
getVars() - インタフェース のメソッドiSATLibrary.ISatSolver
 
getVars() - クラス のメソッドiSATLibrary.SatSolverForNative
Gets the number of variables in SAT solver.
getVars() - クラス のメソッドiSATLibrary.SatSolverForSat4j
 
A B C D F G I M N O R S U V 
ナビゲーション・リンクをスキップ