Searched defs:isMult (Results 1 – 3 of 3) sorted by relevance
183 inline bool isMult(const Expr& e) { return e.getKind() == MULT; } in isMult() function
413 public boolean isMult() throws Cvc3Exception { in isMult() method in Expr
1292 bool isMult = lAllDivBaseEqual(op0, maskPlusOne, vectorLength, seenPhis, canAdd); in lCheckAndForLinear() local