CIRCT 21.0.0git
|
A boolean function expressed in canonical disjunctive normal form. More...
#include <DeseqUtils.h>
Public Member Functions | |
bool | isPoison () const |
bool | isTrue () const |
bool | isFalse () const |
Public Attributes | |
SmallVector< DNFTerm, 2 > | orTerms |
A boolean function expressed in canonical disjunctive normal form.
Supports functions with up to 32 terms. Consists of AND operations nested inside an OR operation.
Definition at line 44 of file DeseqUtils.h.
|
inline |
Definition at line 48 of file DeseqUtils.h.
References orTerms.
Referenced by circt::llhd::deseq::operator<<().
|
inline |
Definition at line 46 of file DeseqUtils.h.
References orTerms.
Referenced by circt::llhd::deseq::operator<<().
|
inline |
Definition at line 47 of file DeseqUtils.h.
References orTerms.
Referenced by circt::llhd::deseq::operator<<().
SmallVector<DNFTerm, 2> circt::llhd::deseq::DNF::orTerms |
Definition at line 45 of file DeseqUtils.h.
Referenced by circt::llhd::deseq::TruthTable::canonicalize(), isFalse(), isPoison(), isTrue(), and circt::llhd::deseq::operator<<().