CIRCT  19.0.0git
Classes | Namespaces | Functions
ModelInfo.h File Reference
#include "mlir/IR/BuiltinOps.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/raw_ostream.h"
#include <string>
Include dependency graph for ModelInfo.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  circt::arc::StateInfo
 Gathers information about a given Arc state. More...
struct  circt::arc::ModelInfo
 Gathers information about a given Arc model. More...


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


mlir::LogicalResult circt::arc::collectStates (mlir::Value storage, unsigned offset, llvm::SmallVector< StateInfo > &states)
 Collects information about states within the provided Arc model storage storage, assuming default offset, and adds it to states. More...
mlir::LogicalResult circt::arc::collectModels (mlir::ModuleOp module, llvm::SmallVector< ModelInfo > &models)
 Collects information about all Arc models in the provided module, and adds it to models. More...
void circt::arc::serializeModelInfoToJson (llvm::raw_ostream &outputStream, llvm::ArrayRef< ModelInfo > models)
 Serializes models to outputStream in JSON format. More...