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.