public virtual void addPlugin(ASTBasePlugin plugin) { libsbmlPINVOKE.ASTBase_addPlugin(swigCPtr, ASTBasePlugin.getCPtr(plugin)); }