SMTVisitors.h File Reference

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

Go to the source code of this file.

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

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::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 74 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 74 of file SMTVisitors.h.