P4::TypeSubstitution< T > Class Template Reference

Inheritance diagram for P4::TypeSubstitution< T >:

Public Member Functions
	TypeSubstitution (const TypeSubstitution &other)=default
void	clear ()
bool	containsKey (T key) const
void	dbprint (std::ostream &out) const
const IR::Type *	get (T t) const
bool	isIdentity () const
const IR::Type *	lookup (T t) const
TypeSubstitution &	operator= (const TypeSubstitution &other)=default
virtual bool	setBinding (T id, const IR::Type *type)
Public Member Functions inherited from P4::IHasDbPrint
void	print () const

Protected Attributes
ordered_map< T, const IR::Type * >	binding

Member Function Documentation

dbprint()

template<class T>

void P4::TypeSubstitution< T >::dbprint ( std::ostream & out ) const

inlinevirtual

Implements P4::IHasDbPrint.

isIdentity()

template<class T>

bool P4::TypeSubstitution< T >::isIdentity ( ) const

inline

True if this is the empty substitution, which does not replace anything.