Home
last modified time | relevance | path

Searched refs:setUsesCC (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dexpr.h712 void setUsesCC() const;
1483 inline void Expr::setUsesCC() const { in setUsesCC() function
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory.cpp467 e.setUsesCC(); in setupCC()
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/
H A Dtheory_array.cpp505 e.setUsesCC(); in setup()