#include <passes/tags/constraints.h>
Inheritance diagram for tags::ConstraintSolver:
Collaboration diagram for tags::ConstraintSolver:
Public Member Functions | |
| ConstraintSolver (RegisterAnalysis &analysis, const Target *target, bool banPolymorphism, Prog &prog) | |
| void | Solve () |
Detailed Description
Implementation of the backtracking-based constraint solver.
The documentation for this class was generated from the following files:
- passes/tags/constraints.h
- passes/tags/constraint/arith.cpp
- passes/tags/constraint/call.cpp
- passes/tags/constraint/cmp.cpp
- passes/tags/constraint/cond.cpp
- passes/tags/constraint/const.cpp
- passes/tags/constraint/conv.cpp
- passes/tags/constraint/memory.cpp
- passes/tags/constraints.cpp
