CIRCT  20.0.0git
Public Member Functions | List of all members
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs > Class Template Reference

#include <LTLVisitors.h>

Public Member Functions

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)
 

Detailed Description

template<typename ConcreteType, typename ResultType = void, typename... ExtraArgs>
class circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >

Definition at line 19 of file LTLVisitors.h.

Member Function Documentation

◆ dispatchLTLVisitor()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
ResultType circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::dispatchLTLVisitor ( Operation *  op,
ExtraArgs...  args 
)
inline

Definition at line 21 of file LTLVisitors.h.

◆ HANDLE() [1/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( AndOp  ,
Unhandled   
)

◆ HANDLE() [2/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ClockOp  ,
Unhandled   
)

◆ HANDLE() [3/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( ConcatOp  ,
Unhandled   
)

◆ HANDLE() [4/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( DelayOp  ,
Unhandled   
)

◆ 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>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( IntersectOp  ,
Unhandled   
)

◆ 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>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( NotOp  ,
Unhandled   
)

◆ HANDLE() [11/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( OrOp  ,
Unhandled   
)

◆ HANDLE() [12/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( RepeatOp  ,
Unhandled   
)

◆ HANDLE() [13/13]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>
circt::ltl::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE ( UntilOp  ,
Unhandled   
)

◆ 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: