m_builder | VCBuilder::OrRule | [private] |
m_semi | VCBuilder::OrRule | [private] |
m_tail | VCBuilder::OrRule | [private] |
operator()(const VC &vc, const VCList *semi_list, VCList *full_list, std::list< VC > &added, int max_ors, ChangeLog< VC > *log, VCBuilderStatistics &stats) | VCBuilder::OrRule | |
OrRule(const VCBuilder &builder) | VCBuilder::OrRule | [inline] |