public new void setIntValue(string key, int value) { libsbmlPINVOKE.ConversionProperties_setIntValue(swigCPtr, key, value); }