SMTVisitors.h File Reference

#include "circt/Dialect/SMT/SMTOps.h"
#include "llvm/ADT/TypeSwitch.h"

Include dependency graph for SMTVisitors.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	circt::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >
	This helps visit SMT nodes. More...
class	circt::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >
	This helps visit SMT types. More...

Namespaces
	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
	circt::smt

Macros
#define	HANDLE(OPTYPE, OPKIND)
#define	HANDLE(TYPE, KIND)

Macro Definition Documentation

HANDLE [1/2]

#define HANDLE	(		OPTYPE,
			OPKIND
	)

Value:

  ResultType visitSMTOp(OPTYPE op, ExtraArgs... args) {                        \
    return static_cast<ConcreteType *>(this)->visit##OPKIND##SMTOp(op,         \
                                                                   args...);   \
  }

Definition at line 175 of file SMTVisitors.h.

HANDLE [2/2]

#define HANDLE	(		TYPE,
			KIND
	)

Value:

  ResultType visitSMTType(TYPE op, ExtraArgs... args) {                        \
    return static_cast<ConcreteType *>(this)->visit##KIND##SMTType(op,         \
                                                                   args...);   \
  }

Definition at line 175 of file SMTVisitors.h.