10. dfg2otter.pl
10.1 NAME
dfg2otter.pl - transforms DFG clause files into Otter format including Otter options
10.2 SYNOPSIS
dfg2otter.pl [ -t] [infile] [outfile]
10.3 DESCRIPTION
dfg2otter.pl is a Perl wrapper for the C-program dfg2otter. Mainly, it adds
a set of OTTER parameters to the transformation result of
dfg2otter.pl. Additionally, input/output redirection is simpler:
If no file arguments are given, dfg2otter.pl reads from stdin and writes
to stdout. If one file argument is given, dfg2otter.pl read from
that file, and if a second argument is present, dfg2otter.pl writes
to it.
10.4 AUTHORS
Thorsten Engel
Christian Theobalt
Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>
10.5 SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)
This document was generated
by Renate Schmidt on March, 10 2003
using texi2html