/** * Registers a provider * * @param provider * the provider to be registered */ public void addWeightedTcProvider(WeightedTcProvider provider) { providerList.add(provider); updateGraphCache(provider, true); }
/** * Unregister a provider * * @param provider * the provider to be deregistered */ public void removeWeightedTcProvider( WeightedTcProvider provider) { providerList.remove(provider); updateGraphCache(provider, false); }
/** * Registers a provider * * @param provider * the provider to be registered */ public void addWeightedTcProvider(WeightedTcProvider provider) { providerList.add(provider); updateGraphCache(provider, true); }
/** * Unregister a provider * * @param provider * the provider to be deregistered */ public void removeWeightedTcProvider( WeightedTcProvider provider) { providerList.remove(provider); updateGraphCache(provider, false); }