Aleph::Compiler_Type_Substitution Member List

This is the complete list of members for Aleph::Compiler_Type_Substitution, including all inherited members.

apply(Compiler_Type_Context &ctx, const Compiler_Type_Id id) const	Aleph::Compiler_Type_Substitution	inline
bind(const Compiler_Type_Id variable, const Compiler_Type_Id replacement)	Aleph::Compiler_Type_Substitution	inline
binding(const size_t i) const	Aleph::Compiler_Type_Substitution	inline
bindings	Aleph::Compiler_Type_Substitution	private
clear() noexcept	Aleph::Compiler_Type_Substitution	inline
empty() const noexcept	Aleph::Compiler_Type_Substitution	inline
lookup(const Compiler_Type_Id variable) noexcept	Aleph::Compiler_Type_Substitution	inline
lookup(const Compiler_Type_Id variable) const noexcept	Aleph::Compiler_Type_Substitution	inline
resolve_alias(const Compiler_Type_Id id) const	Aleph::Compiler_Type_Substitution	inlineprivate
size() const noexcept	Aleph::Compiler_Type_Substitution	inline
to_string(Compiler_Type_Context &ctx) const	Aleph::Compiler_Type_Substitution	inline