Lines Matching full:produce
183 " --defines[=FILE] also produce a header file\n"
186 " -r, --report=THINGS also produce details on the automaton\n"
196 " -d, --defines produce anche uno header\n"
197 " -r, --report=PARTI produce anche dettagli sull'automa\n"
198 " -v, --verbose produce anche una spiegazione dell'automa\n"
201 " -g, --graph produce anche una descrizione VCG dell'automa\n"
