Searched refs:isBoxFFun (Results 1 – 8 of 8) sorted by relevance
127 else if (isBoxFFun(box, ff)) in computeBoxComplexity()
240 bool isBoxFFun(Tree s);241 bool isBoxFFun(Tree s, Tree& ff);
647 bool isBoxFFun(Tree s) in isBoxFFun() function652 bool isBoxFFun(Tree s, Tree& ff) in isBoxFFun() function959 else if (isBoxFFun(box, ff)) in preparePattern()
239 else if (isBoxFFun(t, ff)) { in infereBoxType()
191 else if (isBoxFFun(box, ff)) { in print()
450 else if (isBoxFFun(t, ff)) { in generateInsideSchema()
392 else if (isBoxFFun(box, ff)) { in realPropagate()
356 …p) || isBoxPrim2(exp) || isBoxPrim3(exp) || isBoxPrim4(exp) || isBoxPrim5(exp) || isBoxFFun(exp) || in realeval()1535 else if (isBoxFFun(box, ff)) { in insideBoxSimplification()