baf2trm1
Aterm-conversion
Usage
baffle [-i
input]
[-o
output]
[-c]
[-v]
[-rb]
[-rt]
[-rs]
[-wb]
[-wt]
[-ws]
Overview
This manual page briefly describes the baffle commands.
baffle includes some scripts, they can be used to connect a process producing one Aterm format to a process which expects another. These scripts just set up baffle with the appropriate switches and redirect stdin and stdout accordingly.
These scripts are appropriately called trm2baf, baf2trm, trm2taf, taf2trm, baf2taf, taf2baf and trmcat.
Options
-iinput-
Read input from file input
-ooutput-
write output to file output
-
-c -
Check validity of input-term
-
-v -
print version information
-
-h -
Display help
-
-wb -wt -ws -
Choose between BAF, TEXTE, and TAF output
-
-rb -rt -rs -
Choose between BAF, TEXTE, and TAF input