Searched refs:true_clause_ (Results 1 – 5 of 5) sorted by relevance
439 if (tru) true_clause_.splice(true_clause_.end(), *tru); in case_t()446 for(std::list<Expression*>::const_iterator it = other.true_clause_.begin(); in case_t()447 it != other.true_clause_.end(); ++it) { in case_t()448 true_clause_.push_back((*it)->clone()); in case_t()455 while (! true_clause_.empty()) { in ~case_t()456 Expression*tmp = true_clause_.front(); in ~case_t()457 true_clause_.pop_front(); in ~case_t()501 for(std::list<Expression*>::iterator it = true_clause_.begin(); in visit()502 it != true_clause_.end(); ++it) in visit()
572 if (true_clause_.size() > 1) { in emit_option()577 Expression*tmp = true_clause_.front(); in emit_option()591 if (true_clause_.size() > 1) { in emit_default()596 Expression*tmp = true_clause_.front(); in emit_default()
318 for (list<Expression*>::const_iterator cur = true_clause_.begin() in dump()319 ; cur != true_clause_.end() ; ++cur) { in dump()
535 inline const std::list<Expression*>& true_clause() const { return true_clause_; } in true_clause()541 std::list<Expression*>& extract_true_clause() { return true_clause_; } in extract_true_clause()546 std::list<Expression*> true_clause_; variable
834 for (list<Expression*>::const_iterator cur = true_clause_.begin() in elaborate_expr()835 ; cur != true_clause_.end() ; ++cur) { in elaborate_expr()