public void set_jsgf_file(string name, string path) { PocketSphinxPINVOKE.Decoder_set_jsgf_file(swigCPtr, name, path); }