Searched refs:clauseOperand (Results 1 – 1 of 1) sorted by relevance
80 const Value &clauseOperand) { in addOperand() argument81 if (clauseOperand) { in addOperand()82 operands.push_back(clauseOperand); in addOperand()