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.

Classes

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

Namespaces

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

Functions

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