2 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Ive got a problem fron a menu script where:
If i choose option 1 it will run a command for instance
option 1 will run another script that will grep for a certain process name also using the If command. IE if chicken process is present echo cluck cluck, but if no chicken then echo no eggs... (4 Replies)
Discussion started by: wmccull
4 Replies
2. AIX
I would like to hear your opinions, comments, pros and cons about the IVE (Integrated virtual ethernet) and VIOS (virtual i/o server)
With the VIOS can create virtual ethernet and virtual disk
With the IVE I dont need to create the vios and I can have virtual ethernet (physical and logical... (3 Replies)
Discussion started by: lo-lp-kl
3 Replies
LEARN ABOUT DEBIAN
interpformat
INTERPFORMAT(1) General Commands Manual INTERPFORMAT(1)
NAME
interpformat - tool for transforming mace4(1) models
SYNOPSIS
interpformat [options] <transformation> -f input-file > output-file
interpformat [options] <transformation> < input-file > output-file
DESCRIPTION
The models (structures) in mace4(1) output files can be transformed in various ways with the program interpformat.
TRANSFORMATIONS
The transformations are listed here.
standard
one line per operation
standard2
standard, with binary operations in a square (default)
portable
list of lists, suitable for parsing by Python, GAP, etc.
tabular
as nice tables
raw similar to standard, but without punctuation
cooked as terms, e.g., f(0,1)=2
tex formatted for LaTeX
xml XML
OPTIONS
A summary of options is included below.
output <operations>
Output only the listed operations.
wrap Enclose output in list(interpretations).
SEE ALSO
mace4(1).
Full documentation for interpformat is found in the prover9 manual, available on Debian systems in the prover9-doc package at
/usr/share/doc/prover9-doc/manual/index.html.
AUTHOR
interpformat was written by William McCune <mccune@cs.unm.edu>
This manual page was written by Peter Collingbourne <peter@pcc.me.uk>, for the Debian project (but may be used by others).
January 20, 2007 INTERPFORMAT(1)