CIRCT  18.0.0git
Classes | Namespaces
BackedgeBuilder.h File Reference
#include "mlir/IR/Location.h"
#include "mlir/IR/Value.h"
#include "llvm/ADT/SmallVector.h"
Include dependency graph for BackedgeBuilder.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  circt::BackedgeBuilder
 Instantiate one of these and use it to build typed backedges. More...
class  circt::Backedge
 Backedge is a wrapper class around a Value. More...


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