Agent Dynamic Logic package
|
|
|
Usage
java adl.Tool [options]
Options
-i input_file
|
Specifies an input file for processing. If this option is omitted then ADL formulae will be read from the standard input (stdin).
|
-o output_file
|
Specifies an output file for translated formulae.
If this option is omitted then (C)PDL formulae will be printed to the standard output (stdout).
|
-ne
|
Suppresses the encoding of CPDL formulae in PDL, i.e. translator will not attempt to eliminate the converse from the resulting formulae.
|
-dlp
|
Sets output format to the format accepted by
DLP. If this option is omitted then the format of the
PDL-tableau prover is assumed for output.
|
|
|
|