LTLVisitors.h File Reference

#include "circt/Dialect/LTL/LTLOps.h"
#include "llvm/ADT/TypeSwitch.h"

Include dependency graph for LTLVisitors.h:

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

Go to the source code of this file.

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

Namespaces
	circt
	This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
	circt::ltl

Macros
#define	HANDLE(OPTYPE, OPKIND)

Macro Definition Documentation

HANDLE

#define HANDLE	(		OPTYPE,
			OPKIND
	)

Value:

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

Definition at line 46 of file LTLVisitors.h.