Loading [MathJax]/extensions/tex2jax.js
CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | Public Attributes | List of all members
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:
Collaboration graph
[legend]

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

Member Function Documentation

◆ isFalse()

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

Definition at line 48 of file DeseqUtils.h.

References orTerms.

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

◆ isPoison()

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

Definition at line 46 of file DeseqUtils.h.

References orTerms.

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

◆ isTrue()

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

Definition at line 47 of file DeseqUtils.h.

References orTerms.

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

Member Data Documentation

◆ orTerms

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

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