public new int getNumOptions() { int ret = libsbmlPINVOKE.ConversionProperties_getNumOptions(swigCPtr); return ret; }