Clause.isUnitClause

Undocumented in source. Be warned that the author may not have intended to support it.

struct Clause

bool

isUnitClause

()

Meta

Source

See Implementation

satd cnf Clause aliases

ID

constructors

this

functions

variables