Template Class PVarWithCheck#

Inheritance Relationships#

Base Type#

Class Documentation#

template<typename Derived, typename T>
class PVarWithCheck : public tvm::Pattern<PVarWithCheck<Derived, T>>#

Wrapper for pattern variable container with extra match logic.

Template Parameters:
  • Derived – the type of derived class.

  • T – the type of the hole.

Public Types

using Nested = const PVarWithCheck<Derived, T>&#

Public Functions

inline void InitMatch_() const#
inline bool Match_(const T &value) const#
template<typename NodeRefType, typename = typename std::enable_if<std::is_base_of<NodeRefType, T>::value>::type>
inline bool Match_(const NodeRefType &value) const#
inline T Eval() const#

Protected Attributes

PVar<T> pvar_#