- add(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- add(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a literal to SAT solver or finalizes the clause with a "0".
- add(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- add_a_clause(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a clause to SAT solver.
- addAssumptions(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addAssumptions(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds assumption literals to SAT solver.
- addAssumptions(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addAtLeast(int[], int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addAtLeast(int[], int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an at least k constraint to SAT solver.
- addAtLeast(int[], int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addAtLeastWithAssumption(int[], int, int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addAtLeastWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an at least k constraint to SAT solver as a relaxed constraint.
- addAtLeastWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addAtMost(int[], int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addAtMost(int[], int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an at most k constraint to SAT solver.
- addAtMost(int[], int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addAtMostWithAssumption(int[], int, int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addAtMostWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an at most k constraint to SAT solver as a relaxed constraint.
- addAtMostWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addBlockingClause() - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addBlockingClause(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addBlockingClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a blocking clause to SAT solver.
- addBlockingClause() - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a blocking clause to SAT solver.
- addBlockingClause() - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addBlockingClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addClause(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a clause to SAT solver.
- addClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addClauses(int[][]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addClauses(int[][]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds clauses to SAT solver.
- addClauses(int[][]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addExactly(int[], int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addExactly(int[], int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an exact k constraint to SAT solver.
- addExactly(int[], int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addExactlyWithAssumption(int[], int, int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addExactlyWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an exact k constraint to SAT solver as a relaxed constraint.
- addExactlyWithAssumption(int[], int, int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addNormalizedClause(int[]) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addNormalizedClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds multiple clauses to SAT solver at a time.
- addNormalizedClause(int[]) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addPB(int[], int[], int, boolean) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addPB(int[], int[], int, boolean) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a pseudo boolean constraint to SAT solver.
- addPB(int[], int[], int, boolean) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- addPBWithAssumption(int[], int[], int, boolean, int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- addPBWithAssumption(int[], int[], int, boolean, int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds a pseudo boolean constraint to SAT solver.
- addPBWithAssumption(int[], int[], int, boolean, int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-
- assume(int) - インタフェース のメソッドiSATLibrary.ISatSolver
-
- assume(int) - クラス のメソッドiSATLibrary.SatSolverForNative
-
Adds an assumption.
- assume(int) - クラス のメソッドiSATLibrary.SatSolverForSat4j
-