circt::llhd::deseq::DNF Struct Reference

A boolean function expressed in canonical disjunctive normal form. More...

#include <DeseqUtils.h>

Collaboration diagram for circt::llhd::deseq::DNF:

Public Member Functions
bool	isPoison () const
bool	isTrue () const
bool	isFalse () const

Public Attributes
SmallVector< DNFTerm, 2 >	orTerms

Detailed Description

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 84 of file DeseqUtils.h.

Member Function Documentation

isFalse()

bool circt::llhd::deseq::DNF::isFalse ( ) const

inline

Definition at line 88 of file DeseqUtils.h.

References orTerms.

Referenced by circt::llhd::deseq::operator<<().

isPoison()

bool circt::llhd::deseq::DNF::isPoison ( ) const

inline

Definition at line 86 of file DeseqUtils.h.

References orTerms.

Referenced by circt::llhd::deseq::operator<<().

isTrue()

bool circt::llhd::deseq::DNF::isTrue ( ) const

inline

Definition at line 87 of file DeseqUtils.h.

References orTerms.

Referenced by circt::llhd::deseq::operator<<().

Member Data Documentation

orTerms

SmallVector<DNFTerm, 2> circt::llhd::deseq::DNF::orTerms

Definition at line 85 of file DeseqUtils.h.

Referenced by circt::llhd::deseq::TruthTable::canonicalize(), isFalse(), isPoison(), isTrue(), and circt::llhd::deseq::operator<<().

---

The documentation for this struct was generated from the following file:

• /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/LLHD/Transforms/DeseqUtils.h