circt::llhd::deseq::DNFTerm Struct Reference

A single AND operation within a DNF. More...

#include <DeseqUtils.h>

Collaboration diagram for circt::llhd::deseq::DNFTerm:

Public Member Functions
bool	isTrue () const
bool	isFalse () const
bool	operator== (DNFTerm other) const
bool	operator!= (DNFTerm other) const

Public Attributes
uint32_t	andTerms = 0
	A mask with two bits for each possible term that may be present.

Detailed Description

A single AND operation within a DNF.

Definition at line 25 of file DeseqUtils.h.

Member Function Documentation

isFalse()

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

inline

Definition at line 32 of file DeseqUtils.h.

References andTerms.

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

isTrue()

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

inline

Definition at line 31 of file DeseqUtils.h.

References andTerms.

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

operator!=()

bool circt::llhd::deseq::DNFTerm::operator!= ( DNFTerm  other ) const

inline

Definition at line 38 of file DeseqUtils.h.

operator==()

bool circt::llhd::deseq::DNFTerm::operator== ( DNFTerm  other ) const

inline

Definition at line 37 of file DeseqUtils.h.

References andTerms.

Member Data Documentation

andTerms

uint32_t circt::llhd::deseq::DNFTerm::andTerms = 0

A mask with two bits for each possible term that may be present.

Even bits indicate a term is present, odd bits indicate a term's negation is present.

Definition at line 29 of file DeseqUtils.h.

Referenced by circt::llhd::deseq::TruthTable::canonicalize(), isFalse(), isTrue(), circt::llhd::deseq::operator<<(), and 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