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