public new void setIntValue(int value) { libsbmlPINVOKE.ConversionOption_setIntValue(swigCPtr, value); }