public void set_jsgf_string(string name, string jsgf_string) { PocketSphinxPINVOKE.Decoder_set_jsgf_string(swigCPtr, name, jsgf_string); }