* the variable is the set of values A[i] where the i are in the domain of idx_exp.
*/
public IntExp elementAt(IntExp idx_exp) //throws Failure
// public IntVar elementAt(IntExp idx_exp) throws Failure // IntVar elementAt???
{
return new IntExpElementAt(this,idx_exp);
/*
String name = "";
if(constrainer().showInternalNames())
{
name = name() + "[" + idx_exp.name() + "]";