Searched refs:GetVar (Results 1 – 1 of 1) sorted by relevance
148 auto GetVar = [&FormulaToVar](const Formula *F) { in buildCNF() local161 builder.addClause(posLit(GetVar(F))); in buildCNF()171 const Variable Var = GetVar(F); in buildCNF()184 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()185 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()204 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()205 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()224 const Variable Operand = GetVar(F->operands()[0]); in buildCNF()234 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()235 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()[all …]