| /dports/math/cvc3/cvc3-2.4.1/doc/ |
| H A D | theory_api_flow.fig | 142 4 0 0 50 0 0 12 0.0000 4 180 1140 6525 3300 computeTCC()\001
|
| H A D | theory_api.dox | 621 Expr computeTCC(const Expr& e);
678 TCCs are computed recursively by <tt>computeTCC()</tt> and
682 <tt>computeTCC()</tt> in your theory; the default implementation will
688 <tt>computeTCC()</tt> is <strong>the only</strong> Theory API method
1105 \subsection theory_api_computeTCC computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_simulate.h | 62 Expr computeTCC(const Expr& e);
|
| H A D | theory_uf.h | 94 Expr computeTCC(const Expr& e);
|
| H A D | theory_array.h | 102 Expr computeTCC(const Expr& e);
|
| H A D | theory_records.h | 84 Expr computeTCC(const Expr& e);
|
| H A D | theory_datatype.h | 103 Expr computeTCC(const Expr& e);
|
| H A D | theory_arith3.h | 316 Expr computeTCC(const Expr& e);
|
| H A D | theory_arith.h | 147 virtual Expr computeTCC(const Expr& e) = 0;
|
| H A D | theory_core.h | 400 Expr computeTCC(const Expr& e);
|
| H A D | theory.h | 289 virtual Expr computeTCC(const Expr& e);
|
| H A D | theory_bitvector.h | 291 Expr computeTCC(const Expr& e);
|
| H A D | theory_arith_new.h | 256 Expr computeTCC(const Expr& e);
|
| H A D | theory_arith_old.h | 343 Expr computeTCC(const Expr& e);
|
| H A D | theory_quant.h | 764 Expr computeTCC(const Expr& e);
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_simulate/ |
| H A D | theory_simulate.cpp | 164 TheorySimulate::computeTCC(const Expr& e) { in computeTCC() function in TheorySimulate
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | theory.cpp | 81 Expr Theory::computeTCC(const Expr& e) { in computeTCC() function in Theory
376 Expr tcc = i->computeTCC(e); in getTCC()
|
| H A D | theory_core.cpp | 1650 Expr TheoryCore::computeTCC(const Expr& e) in computeTCC() function in TheoryCore
1693 if (i != this) return i->computeTCC(e); in computeTCC()
1697 res = Theory::computeTCC(e); in computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_array/ |
| H A D | theory_array.cpp | 1041 Expr TheoryArray::computeTCC(const Expr& e) in computeTCC() function in TheoryArray
1043 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_uf/ |
| H A D | theory_uf.cpp | 591 Expr TheoryUF::computeTCC(const Expr& e) in computeTCC() function in TheoryUF
616 preds.push_back(Theory::computeTCC(e)); in computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_records/ |
| H A D | theory_records.cpp | 228 Expr TheoryRecords::computeTCC(const Expr& e) in computeTCC() function in TheoryRecords
231 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/ |
| H A D | theory_datatype.cpp | 612 Expr TheoryDatatype::computeTCC(const Expr& e) in computeTCC() function in TheoryDatatype
614 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_arith/ |
| H A D | theory_arith3.cpp | 2839 TheoryArith3::computeTCC(const Expr& e) { in computeTCC() function in TheoryArith3
2840 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|
| H A D | theory_arith_new.cpp | 2025 Expr TheoryArithNew::computeTCC(const Expr& e) { in computeTCC() function in TheoryArithNew
2026 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|
| H A D | theory_arith_old.cpp | 3817 TheoryArithOld::computeTCC(const Expr& e) { in computeTCC() function in TheoryArithOld
3818 Expr tcc(Theory::computeTCC(e)); in computeTCC()
|