Lines Matching refs:operands

286       for (const Formula *F : Val->operands())  in buildCNF()
329       const Variable LHS = GetVar(Val->operands()[0]);  in buildCNF()
330       const Variable RHS = GetVar(Val->operands()[1]);  in buildCNF()
349       const Variable LHS = GetVar(Val->operands()[0]);  in buildCNF()
350       const Variable RHS = GetVar(Val->operands()[1]);  in buildCNF()
369       const Variable Operand = GetVar(Val->operands()[0]);  in buildCNF()
379       const Variable LHS = GetVar(Val->operands()[0]);  in buildCNF()
380       const Variable RHS = GetVar(Val->operands()[1]);  in buildCNF()
392       const Variable LHS = GetVar(Val->operands()[0]);  in buildCNF()
393       const Variable RHS = GetVar(Val->operands()[1]);  in buildCNF()
418     for (const Formula *Child : Val->operands())  in buildCNF()