Public Member Functions | |
| BoolInfo (Refinements true_refinements, Refinements false_refinements) | |
| BoolInfo * | mergeOr (const BoolInfo &other) |
| BoolInfo * | mergeAnd (const BoolInfo &other) |
Data Fields | |
| Refinements | true_refinements_ |
| Refinements | false_refinements_ |
Definition at line 112 of file compiler.cpp.
1.8.11