Searched refs:normalizedTree (Results 1 – 5 of 5) sorted by relevance
129 Tree aterm::normalizedTree() const in normalizedTree() function in aterm145 Tree t = m.normalizedTree(false, true); in normalizedTree()150 Tree t = m.normalizedTree(); in normalizedTree()348 A += sigMul(d.normalizedTree(), Q.normalizedTree()); in factorize()
59 … Tree normalizedTree() const; ///< return the corresponding normalized expression tree
80 Tree normalizedTree(bool sign = false,
71 Tree r = A.normalizedTree(); in normalizeAddTerm()
474 return normalizedTree(true); in signatureTree()483 Tree mterm::normalizedTree(bool signatureMode, bool negativeMode) const in normalizedTree() function in mterm