circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs > Class Template Reference

#include <VerifVisitors.h>

Public Member Functions
ResultType	dispatchVerifVisitor (Operation *op, ExtraArgs... args)
ResultType	visitInvalidVerif (Operation *op, ExtraArgs... args)
	This callback is invoked on any non-verif operations.
ResultType	visitUnhandledVerif (Operation *op, ExtraArgs... args)
	This callback is invoked on any verif operations that were not handled by their concrete visitVerif(...) callback.
	HANDLE (AssertOp, Unhandled)
	HANDLE (AssumeOp, Unhandled)
	HANDLE (CoverOp, Unhandled)
	HANDLE (ClockedAssertOp, Unhandled)
	HANDLE (ClockedAssumeOp, Unhandled)
	HANDLE (ClockedCoverOp, Unhandled)
	HANDLE (ContractOp, Unhandled)

Detailed Description

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

Definition at line 19 of file VerifVisitors.h.

Member Function Documentation

dispatchVerifVisitor()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

ResultType circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::dispatchVerifVisitor ( Operation *  op, ExtraArgs...  args  )

inline

Definition at line 21 of file VerifVisitors.h.

HANDLE() [1/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	AssertOp	,
		Unhandled
	)

HANDLE() [2/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	AssumeOp	,
		Unhandled
	)

HANDLE() [3/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	ClockedAssertOp	,
		Unhandled
	)

HANDLE() [4/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	ClockedAssumeOp	,
		Unhandled
	)

HANDLE() [5/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	ClockedCoverOp	,
		Unhandled
	)

HANDLE() [6/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	ContractOp	,
		Unhandled
	)

HANDLE() [7/7]

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::HANDLE	(	CoverOp	,
		Unhandled
	)

visitInvalidVerif()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

ResultType circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::visitInvalidVerif ( Operation *  op, ExtraArgs...  args  )

inline

This callback is invoked on any non-verif operations.

Definition at line 35 of file VerifVisitors.h.

visitUnhandledVerif()

template<typename ConcreteType , typename ResultType = void, typename... ExtraArgs>

ResultType circt::verif::Visitor< ConcreteType, ResultType, ExtraArgs >::visitUnhandledVerif ( Operation *  op, ExtraArgs...  args  )

inline

This callback is invoked on any verif operations that were not handled by their concrete visitVerif(...) callback.

Definition at line 42 of file VerifVisitors.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/circt-www/circt-www/circt_src/include/circt/Dialect/Verif/VerifVisitors.h