Home | History | Annotate | Download | only in Scalar

Lines Matching defs:isCanonical

285   bool isCanonical() const;
383 bool Formula::isCanonical() const {
396   if (isCanonical())
982   assert(F.isCanonical() && "Cost is accurate only for canonical formula");
1263   assert(F.isCanonical() && "Invalid canonical representation");
1440   assert((F.isCanonical() || F.Scale != 0));
3301   assert(Base.isCanonical() && "Input must be in the canonical form");