[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

10. dfg2otter.pl


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

10.1 NAME

dfg2otter.pl - transforms DFG clause files into Otter format including Otter options


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

10.2 SYNOPSIS

dfg2otter.pl [ -t] [infile] [outfile]


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

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.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

10.4 AUTHORS

Thorsten Engel
Christian Theobalt
Contact : Christoph Weidenbach <weidenb@mpi-sb.mpg.de>


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

10.5 SEE ALSO

checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Renate Schmidt on March, 10 2003 using texi2html