P4C
The P4 Compiler
Loading...
Searching...
No Matches
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::TypeConstraintsinline
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::TypeConstraintsinline
dbprint(std::ostream &out) const (defined in P4::TypeConstraints)P4::TypeConstraintsvirtual
getCurrentSubstitution() const (defined in P4::TypeConstraints)P4::TypeConstraintsinline
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::TypeConstraintsinline
~IHasDbPrint()=default (defined in P4::IHasDbPrint)P4::IHasDbPrintvirtual