circt::aiger::ExportAIGERHandler Struct Reference

Handler for AIGER export. More...

#include <ExportAIGER.h>

Public Member Functions
	ExportAIGERHandler ()=default
virtual	~ExportAIGERHandler ()=default
virtual bool	operandCallback (mlir::OpOperand &operand, size_t bitPos, size_t outputIndex)
virtual bool	valueCallback (Value result, size_t bitPos, size_t inputIndex)
virtual void	notifyEmitted (Operation *op)
virtual void	notifyClock (Value value)

Detailed Description

Handler for AIGER export.

If it's passed to the exportAIGER function, the handler will be called for each operand and result of the operation. Clients are expected to record this information in their use case.

Definition at line 35 of file ExportAIGER.h.

Constructor & Destructor Documentation

ExportAIGERHandler()

circt::aiger::ExportAIGERHandler::ExportAIGERHandler ( )

default

~ExportAIGERHandler()

virtual circt::aiger::ExportAIGERHandler::~ExportAIGERHandler ( )

virtualdefault

Member Function Documentation

notifyClock()

virtual void circt::aiger::ExportAIGERHandler::notifyClock ( Value  value )

inlinevirtual

Definition at line 59 of file ExportAIGER.h.

notifyEmitted()

virtual void circt::aiger::ExportAIGERHandler::notifyEmitted ( Operation *  op )

inlinevirtual

Definition at line 56 of file ExportAIGER.h.

operandCallback()

virtual bool circt::aiger::ExportAIGERHandler::operandCallback ( mlir::OpOperand &  operand, size_t  bitPos, size_t  outputIndex  )

inlinevirtual

Definition at line 43 of file ExportAIGER.h.

valueCallback()

virtual bool circt::aiger::ExportAIGERHandler::valueCallback ( Value  result, size_t  bitPos, size_t  inputIndex  )

inlinevirtual

Definition at line 51 of file ExportAIGER.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/circt-www/circt-www/circt_src/include/circt/Conversion/ExportAIGER.h