Searched refs:GetVar (Results 1 – 1 of 1) sorted by relevance
147 auto GetVar = [&FormulaToVar](const Formula *F) { in buildCNF() local160 builder.addClause(posLit(GetVar(F))); in buildCNF()170 const Variable Var = GetVar(F); in buildCNF()183 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()184 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()203 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()204 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()223 const Variable Operand = GetVar(F->operands()[0]); in buildCNF()233 const Variable LHS = GetVar(F->operands()[0]); in buildCNF()234 const Variable RHS = GetVar(F->operands()[1]); in buildCNF()[all …]