Searched refs:GetVar (Results 1 – 1 of 1) sorted by relevance
293 auto GetVar = [&SubValsToVar](const Formula *Val) { in buildCNF() local306 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()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()[all …]