Searched refs:computeTransClosure (Results 1 – 4 of 4) sorted by relevance
597 bool computeTransClosure);
582 bool computeTransClosure() const;1334 inline bool Expr::computeTransClosure() const { in computeTransClosure() function
648 bool computeTransClosure) { in newFunction() argument671 if (computeTransClosure && in newFunction()
86 if (expr.getOpExpr().computeTransClosure()) { in assertFact()321 if (d.getOpExpr().computeTransClosure()) { in update()