/** * 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); }