/** Add a triple, and notify the event manager. Subclasses should not need to override this - we might make it final. The triple is added using performAdd, and notification done by notifyAdd. */ @Override public void add( Triple t ) { checkOpen(); performAdd( t ); notifyAdd( t ); }