コード例 #1
0
 @Override
 public void deregisterStateSpaceListener(final IStatesCalculatedListener l) {
   listeners.remove(l);
   if (listeners.isEmpty()) {
     stateSpace.deregisterStateSpaceListener(this);
     registered = false;
   }
 }