P4C
The P4 Compiler
P4::TypeVariableSubstitution Member List

This is the complete list of members for P4::TypeVariableSubstitution, including all inherited members.

binding (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >protected
clear() (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >inline
compose(const IR::ITypeVar *var, const IR::Type *substitution)P4::TypeVariableSubstitution
containsKey(const IR::ITypeVar * key) const (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >inline
dbprint(std::ostream &out) const (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >inlinevirtual
debugValidate() (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitution
get(const IR::ITypeVar * t) const (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >inline
isIdentity() constP4::TypeSubstitution< const IR::ITypeVar * >inline
lookup(const IR::ITypeVar * t) const (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >inline
operator=(const TypeSubstitution &other)=default (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >
print() const (defined in IHasDbPrint)IHasDbPrint
setBinding(const IR::ITypeVar *id, const IR::Type *type) override (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitutioninlinevirtual
setBindings(const IR::Node *errorLocation, const IR::TypeParameters *params, const IR::Vector< IR::Type > *args) (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitution
simpleCompose(const TypeVariableSubstitution *other) (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitution
TypeSubstitution()=default (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >
TypeSubstitution(const TypeSubstitution &other)=default (defined in P4::TypeSubstitution< const IR::ITypeVar * >)P4::TypeSubstitution< const IR::ITypeVar * >
TypeVariableSubstitution()=default (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitution
TypeVariableSubstitution(const TypeVariableSubstitution &other)=default (defined in P4::TypeVariableSubstitution)P4::TypeVariableSubstitution
~IHasDbPrint()=default (defined in IHasDbPrint)IHasDbPrintvirtual