Searched refs:atomExpr (Results 1 – 3 of 3) sorted by relevance
749 Expr atomExpr = (Expr) o; in equals()750 return type == atomExpr.type && in equals()751 value == atomExpr.value && in equals()752 Objects.equals(left, atomExpr.left) && Objects.equals(right, atomExpr.right); in equals()
710 SMTFormula atomExpr = SMTFormula::condNumber(pred(V, atom), weight); in addCostFormula() local711 costSum = SMTFormula::add(costSum, atomExpr); in addCostFormula()
12334 expr* atomExpr = wrap_in_atomization(nameExpr); in end_visit() local12337 atomExpr, in end_visit()12387 expr* atomExpr = wrap_in_atomization(nameExpr); in end_visit() local12390 atomExpr, in end_visit()