P4::TypeConstraints Member List

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

add(const TypeConstraint *constraint) (defined in P4::TypeConstraints)	P4::TypeConstraints	inline
addEqualityConstraint(const IR::Node *source, const IR::Type *left, const IR::Type *right) (defined in P4::TypeConstraints)	P4::TypeConstraints
addImplicitCastConstraint(const IR::Node *source, const IR::Type *left, const IR::Type *right) (defined in P4::TypeConstraints)	P4::TypeConstraints
addUnifiableTypeVariable(const IR::ITypeVar *typeVariable) (defined in P4::TypeConstraints)	P4::TypeConstraints	inline
dbprint(std::ostream &out) const (defined in P4::TypeConstraints)	P4::TypeConstraints	virtual
getCurrentSubstitution() const (defined in P4::TypeConstraints)	P4::TypeConstraints	inline
isUnifiableTypeVariable(const IR::Type *type)	P4::TypeConstraints
print() const (defined in P4::IHasDbPrint)	P4::IHasDbPrint
replaceVariables (defined in P4::TypeConstraints)	P4::TypeConstraints
solve(const BinaryConstraint *constraint) (defined in P4::TypeConstraints)	P4::TypeConstraints
solve() (defined in P4::TypeConstraints)	P4::TypeConstraints
TypeConstraints(const TypeVariableSubstitution *definedVariables, const P4::TypeMap *typeMap) (defined in P4::TypeConstraints)	P4::TypeConstraints	inline
~IHasDbPrint()=default (defined in P4::IHasDbPrint)	P4::IHasDbPrint	virtual