CDCLSolver.newClause

与えられたリテラルを含んだ新しい節を作成します。

Clause newClause(T literals)
class CDCLSolver
Clause
newClause
(
T...
)
(
T literals
)
Clause newClause(Set!T literals)

Meta

Source

See Implementation