public void UnregisterParameter(IntParameter p) { DeregisterFloat(p.Storable); parameters_.Remove(p); }
public void RegisterParameter(IntParameter p) { RegisterFloat(p.Storable); parameters_.Add(p); }