Searched defs:isPow (Results 1 – 4 of 4) sorted by relevance
185 inline bool isPow(const Expr& e) { return e.getKind() == POW; } in isPow() function
458 static bool isPow(Func1& f) in isPow() function
417 public boolean isPow() throws Cvc3Exception { in isPow() method in Expr
2115 IntrinsicInst* intrin, Value* base, Value* exponent, bool isPow) in strengthReducePowOrExpLog()