2347234823492350235123522353
* of variables in <code> array </code> bound to the value of <code> exp <code>. * * @throws Failure */ public IntExp cardinality(IntExpArray array, IntExp exp) throws Failure { return new IntExpCardIntExp(array, exp); }
528529530531532533534
* <b>NOTE:</b> The expression is not required to be bound. * * @return The expression that corresponds the cardinality of <code>exp</code> */ public IntExp cardinality (IntExp exp) throws Failure { return new IntExpCardIntExp (this, exp); }