Lines Matching refs:GetVar
293 auto GetVar = [&SubValsToVar](const Formula *Val) { in buildCNF() local
306 builder.addClause(posLit(GetVar(Val))); in buildCNF()
316 const Variable Var = GetVar(Val); 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()