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.
ResultType	visitUnhandledLTL (Operation *op, ExtraArgs... args)
	This callback is invoked on any LTL operations that were not handled by their concrete visitLTL(...) callback.
	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:

• /home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/LTL/LTLVisitors.h