Home
last modified time | relevance | path

Searched refs:computeTransClosure (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory.h597 bool computeTransClosure);
H A Dexpr.h582 bool computeTransClosure() const;
1334 inline bool Expr::computeTransClosure() const { in computeTransClosure() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory.cpp648 bool computeTransClosure) { in newFunction() argument
671 if (computeTransClosure && in newFunction()
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/
H A Dtheory_uf.cpp86 if (expr.getOpExpr().computeTransClosure()) { in assertFact()
321 if (d.getOpExpr().computeTransClosure()) { in update()