Searched refs:myAnd (Results 1 – 3 of 3) sorted by relevance
1343 auto myAnd = stdx::make_unique<AndMatchExpression>(); in parseAll() local1371 myAnd->add(inner.getValue().release()); in parseAll()1374 return {std::move(myAnd)}; in parseAll()1385 myAnd->add(r.release()); in parseAll()1395 myAnd->add(x.release()); in parseAll()1399 if (myAnd->numChildren() == 0) { in parseAll()1403 return {std::move(myAnd)}; in parseAll()
464 def myAnd(*L): function
475 def myAnd(*L): return myBinOp(Z3_OP_AND,*L) function