SMTVisitors.h File Reference

#include "llzk/Dialect/SMT/IR/SMTOps.h"
#include <llvm/ADT/TypeSwitch.h>

Include dependency graph for SMTVisitors.h:

Go to the source code of this file.

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

Namespaces
namespace	llzk
namespace	llzk::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 69 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 69 of file SMTVisitors.h.