Home
last modified time | relevance | path

Searched refs:CARD_INFINITE (Results 1 – 9 of 9) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_datatype/
H A Dtheory_datatype.cpp463 return CARD_INFINITE; in finiteTypeInfo()
485 if (cardTmp == CARD_INFINITE) { in finiteTypeInfo()
486 card = CARD_INFINITE; in finiteTypeInfo()
504 if (card == CARD_INFINITE) break; in finiteTypeInfo()
/dports/math/cvc3/cvc3-2.4.1/src/theory_uf/
H A Dtheory_uf.cpp238 if (e.isTerm() && e.getType().card() != CARD_INFINITE) { in setup()
382 if (cardTmp == CARD_INFINITE) { in finiteTypeInfo()
383 return CARD_INFINITE; in finiteTypeInfo()
/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory.h254 { return CARD_INFINITE; } in finiteTypeInfo()
H A Dexpr.h82 CARD_INFINITE, enumerator
/dports/math/cvc3/cvc3-2.4.1/src/theory_array/
H A Dtheory_array.cpp498 if (e.getType().card() != CARD_INFINITE) { in setup()
760 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp2722 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
H A Dtheory_arith_new.cpp1911 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
H A Dtheory_arith_old.cpp3700 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
/dports/math/cvc3/cvc3-2.4.1/src/theory_core/
H A Dtheory_core.cpp1446 Cardinality card = CARD_INFINITE; in finiteTypeInfo()