Searched refs:CARD_INFINITE (Results 1 – 9 of 9) sorted by relevance
463 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()
238 if (e.isTerm() && e.getType().card() != CARD_INFINITE) { in setup()382 if (cardTmp == CARD_INFINITE) { in finiteTypeInfo()383 return CARD_INFINITE; in finiteTypeInfo()
254 { return CARD_INFINITE; } in finiteTypeInfo()
82 CARD_INFINITE, enumerator
498 if (e.getType().card() != CARD_INFINITE) { in setup()760 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
2722 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
1911 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
3700 Cardinality card = CARD_INFINITE; in finiteTypeInfo()
1446 Cardinality card = CARD_INFINITE; in finiteTypeInfo()