CIRCT  19.0.0git
Classes | Namespaces | Functions
ArcReductions.h File Reference
#include "circt/Reduce/Reduction.h"
Include dependency graph for ArcReductions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  circt::arc::ArcReducePatternDialectInterface
 A dialect interface to provide reduction patterns to a reducer tool. More...


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.


void circt::arc::registerReducePatternDialectInterface (mlir::DialectRegistry &registry)
 Register the Arc Reduction pattern dialect interface to the given registry. More...