/**
* delete star or map prime to star of @param e
*/
public void handleElement(MatrixElement e)
{
e.setStarred(false);
if (e.isPrimed())
{
e.setPrimed(false);
e.setStarred(true);
}
}
/**
* primes the element @param e
*/
public void primeElement(MatrixElement e)
{
e.setPrimed(true);
}
