CDCLSolver.newClause

与えられたリテラルの集合に対応する新しい節を作成します。

Clause newClause(T literals)
Clause newClause(Set!T literals)
class CDCLSolver
Clause
newClause
(
T
)
(
Set!T literals
)
if (
isIntegral!T
)

Meta

Source

See Implementation