Searched refs:SubVar (Results 1 – 1 of 1) sorted by relevance
325 const Variable SubVar = GetVar(&N->getSubVal()); in buildBooleanFormula() local330 Formula.addClause(negLit(Var), negLit(SubVar)); in buildBooleanFormula()331 Formula.addClause(posLit(Var), posLit(SubVar)); in buildBooleanFormula()