/**
*
*/
package x10.constraint;
/**
* An efficient representation of a universally
* quantified variable that is permitted to occur in multiple constraints.
*
* Such a variable may optionally have a string name.
* @author vj
* @see XEQV
*
*/
public interface XUQV extends XVar {
}