#include "circt/Dialect/LTL/LTLOps.h"
#include "llvm/ADT/TypeSwitch.h"
Go to the source code of this file.
|
| circt |
| This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
|
|
| circt::ltl |
|
|
#define | HANDLE(OPTYPE, OPKIND) |
|
◆ 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.