diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/gfsmclosure.gog')
-rw-r--r-- | gfsm/gfsm/src/programs/gfsmclosure.gog | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/gfsm/gfsm/src/programs/gfsmclosure.gog b/gfsm/gfsm/src/programs/gfsmclosure.gog deleted file mode 100644 index 77b5884..0000000 --- a/gfsm/gfsm/src/programs/gfsmclosure.gog +++ /dev/null @@ -1,79 +0,0 @@ -# -*- Mode: Shell-Script -*- -# -# Getopt::Gen specification -#----------------------------------------------------------------------------- -program "gfsmclosure" -#program_version "0.01" - -purpose "Compute Kleene closure of a finite state machine" -author "Bryan Jurish <moocow@ling.uni-potsdam.de>" -on_reparse "warn" - -#----------------------------------------------------------------------------- -# Details -#----------------------------------------------------------------------------- -details "" - -#----------------------------------------------------------------------------- -# Files -#----------------------------------------------------------------------------- -#rcfile "/etc/gfsmrc" -#rcfile "~/.gfsmrc" - -#----------------------------------------------------------------------------- -# Arguments -#----------------------------------------------------------------------------- -argument "BINFILE" "Stored binary gfsm file" \ - details=" -If unspecified, standard input will be read -" - -#----------------------------------------------------------------------------- -# Options -#----------------------------------------------------------------------------- -#group "Basic Options" - -int "times" n "Compute n-ary (^n) closure." \ - arg="N" \ - default="0" - -flag "plus" p "Compute transitive (+) closure." \ - details=" -Alias for '-n 1'. -" - -int "compress" z "Specify compression level of output file." \ - arg="LEVEL" \ - default="-1" \ - details=" -Specify zlib compression level of output file. -1 (default) indicates -the default compression level, 0 (zero) indicates no zlib compression at all, -and 9 indicates the best possible compression. -" - -string "output" F "Specifiy output file (default=stdout)." \ - arg="FILE" \ - default="-" - -#----------------------------------------------------------------------------- -# Addenda -#----------------------------------------------------------------------------- -#addenda "" - -#----------------------------------------------------------------------------- -# Bugs -#----------------------------------------------------------------------------- -bugs " - -None known. - -" - -#----------------------------------------------------------------------------- -# Footer -#----------------------------------------------------------------------------- -#acknowledge `cat acknowledge.pod` - -seealso " -L<gfsmutils> -" |