pure interface of class ConstraintVector

public class ConstraintVector
  extends Vector
{
    public void create();
    public void gap(int d,
                    int x,
                    int y);
    public Constraint get(int x);
    public ConstraintVector();
}