private PExp getExistsPredicate(AMapCompMapExp exp, ILexNameToken finmap,
			ILexNameToken findex)
	{
		AApplyExp apply = getApplyExp(getVarExp(finmap), getVarExp(findex));

		AMapEnumMapExp setEnum = new AMapEnumMapExp();
		List<AMapletExp> members = new Vector<AMapletExp>();
		members.add(exp.getFirst().clone());
		setEnum.setMembers(members);

		return getEqualsExp(apply, setEnum);
	}
private PExp getExistsPredicate ( AMapCompMapExp exp , ILexNameToken finmap , ILexNameToken findex ) { AApplyExp apply = getApplyExp ( getVarExp ( finmap ) , getVarExp ( findex ) ) ; AMapEnumMapExp setEnum = new AMapEnumMapExp ( ) ; List < AMapletExp > members = new Vector < AMapletExp > ( ) ; members . add ( exp . getFirst ( ) . clone ( ) ) ; setEnum . setMembers ( members ) ; return getEqualsExp ( apply , setEnum ) ; }
m(idx) = { a |-> b }