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. More...
ResultType	visitUnhandledVerif (Operation *op, ExtraArgs... args)
	This callback is invoked on any verif operations that were not handled by their concrete visitVerif(...) callback. More...
	HANDLE (AssertOp, Unhandled)
	HANDLE (AssumeOp, Unhandled)
	HANDLE (CoverOp, 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/3]

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

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

HANDLE() [2/3]

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

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

HANDLE() [3/3]

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 33 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 40 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