#include "circt/Reduce/Reduction.h"
Include dependency graph for GenericReductions.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| circt | |
| This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context. | |
Functions | |
| void | circt::populateGenericReducePatterns (MLIRContext *context, ReducePatternSet &patterns) |
| Populate reduction patterns that are not specific to certain operations or dialects. More... | |
