return size()+offset;
}
public PlaLineInt[] to_array()
{
return a_list.toArray(new PlaLineInt[size()]);
<BUG>}
@Override</BUG>
public Iterator<PlaLineInt> iterator()
{
return a_list.iterator();

return size()+offset;
}
public PlaLineInt[] to_array()
{
return a_list.toArray(new PlaLineInt[size()]);
}
public ArrayList<PlaLineInt>to_alist()
{
return a_list;
}
@Override
public Iterator<PlaLineInt> iterator()
{
return a_list.iterator();
