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

A

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