VerifVisitors.h File Reference

#include "circt/Dialect/Verif/VerifOps.h"
#include "llvm/ADT/TypeSwitch.h"

Include dependency graph for VerifVisitors.h:

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

Go to the source code of this file.

Classes
class	circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >

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

Macros
#define	HANDLE(OPTYPE, OPKIND)

Macro Definition Documentation

HANDLE

#define HANDLE	(		OPTYPE,
			OPKIND
	)

Value:

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

Definition at line 46 of file VerifVisitors.h.