sat-d ~master (2021-08-24T14:19:06Z)
Dub
Repo
CNF.removeClauseContainingLiteral
satd
cnf
CNF
Undocumented in source. Be warned that the author may not have intended to support it.
struct
CNF
void
removeClauseContainingLiteral
(
Literal
literal
)
Meta
Source
See Implementation
satd
cnf
CNF
constructors
this
functions
debugString
removeClauseById
removeClauseContainingLiteral
removeLiterals
simplify
toString
variables
allClauses
clauseNum
clausesContainingLiteral
emptyClauses
literalsInClause
normalClauses
unitClauses
variableNum