#include "circt/Support/LLVM.h"#include "llvm/ADT/APInt.h"#include "llvm/ADT/ArrayRef.h"#include "llvm/ADT/SmallVector.h"#include "llvm/Support/raw_ostream.h"
Include dependency graph for TruthTable.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | circt::BinaryTruthTable |
| Represents a boolean function as a truth table. More... | |
| struct | circt::NPNClass |
| Represents the canonical form of a boolean function under NPN equivalence. More... | |
| struct | circt::Cube |
| Represents a product term (cube) in a sum-of-products expression. More... | |
| struct | circt::SOPForm |
| Represents a sum-of-products expression. More... | |
Namespaces | |
| namespace | circt |
| The InstanceGraph op interface, see InstanceGraphInterface.td for more details. | |
Functions | |
| llvm::APInt | circt::createVarMask (unsigned numVars, unsigned varIndex, bool positive) |
| Create a mask for a variable in the truth table. | |
| std::pair< llvm::APInt, llvm::APInt > | circt::computeCofactors (const llvm::APInt &f, unsigned numVars, unsigned varIndex) |
| Compute cofactor of a Boolean function for a given variable. | |
| SOPForm | circt::extractISOP (const llvm::APInt &truthTable, unsigned numVars) |
| Extract ISOP (Irredundant Sum-of-Products) from a truth table. | |
