#include <LTLVisitors.h>
|
ResultType | dispatchLTLVisitor (Operation *op, ExtraArgs... args) |
|
ResultType | visitInvalidLTL (Operation *op, ExtraArgs... args) |
| This callback is invoked on any non-LTL operations. More...
|
|
ResultType | visitUnhandledLTL (Operation *op, ExtraArgs... args) |
| This callback is invoked on any LTL operations that were not handled by their concrete visitLTL(...) callback. More...
|
|
| HANDLE (AndOp, Unhandled) |
|
| HANDLE (OrOp, Unhandled) |
|
| HANDLE (DelayOp, Unhandled) |
|
| HANDLE (ConcatOp, Unhandled) |
|
| HANDLE (RepeatOp, Unhandled) |
|
| HANDLE (NotOp, Unhandled) |
|
| HANDLE (ImplicationOp, Unhandled) |
|
| HANDLE (UntilOp, Unhandled) |
|
| HANDLE (EventuallyOp, Unhandled) |
|
| HANDLE (ClockOp, Unhandled) |
|
| HANDLE (IntersectOp, Unhandled) |
|
| HANDLE (NonConsecutiveRepeatOp, Unhandled) |
|
| HANDLE (GoToRepeatOp, Unhandled) |
|
template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
class circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >
Definition at line 19 of file LTLVisitors.h.
◆ dispatchLTLVisitor()
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::dispatchLTLVisitor |
( |
Operation * |
op, |
|
|
ExtraArgs... |
args |
|
) |
| |
|
inline |
◆ HANDLE() [1/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [2/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [3/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [4/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [5/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE |
( |
EventuallyOp |
, |
|
|
Unhandled |
|
|
) |
| |
◆ HANDLE() [6/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE |
( |
GoToRepeatOp |
, |
|
|
Unhandled |
|
|
) |
| |
◆ HANDLE() [7/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE |
( |
ImplicationOp |
, |
|
|
Unhandled |
|
|
) |
| |
◆ HANDLE() [8/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [9/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE |
( |
NonConsecutiveRepeatOp |
, |
|
|
Unhandled |
|
|
) |
| |
◆ HANDLE() [10/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [11/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [12/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ HANDLE() [13/13]
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
◆ visitInvalidLTL()
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::visitInvalidLTL |
( |
Operation * |
op, |
|
|
ExtraArgs... |
args |
|
) |
| |
|
inline |
This callback is invoked on any non-LTL operations.
Definition at line 36 of file LTLVisitors.h.
◆ visitUnhandledLTL()
template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::visitUnhandledLTL |
( |
Operation * |
op, |
|
|
ExtraArgs... |
args |
|
) |
| |
|
inline |
This callback is invoked on any LTL operations that were not handled by their concrete visitLTL(...)
callback.
Definition at line 43 of file LTLVisitors.h.
The documentation for this class was generated from the following file:
- /home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/LTL/LTLVisitors.h