/**
* Adds the given clause as last of the family
*
* @param ci The clause to be added (with related informations)
*/
@Override
public void addLast(ClauseInfo ci) {
super.addLast(ci);
// Add last in type related storage
register(ci, false);
}
/**
* Adds the given clause as first of the family
*
* @param ci The clause to be added (with related informations)
*/
@Override
public void addFirst(ClauseInfo ci) {
super.addFirst(ci);
// Add first in type related storage
register(ci, true);
}
