03-20-2019
Your first approximation worked!
Thank you!
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
This is what I tried:
vara=${varb}_count
(( vara += 1 ))
Thanks for help (4 Replies)
Discussion started by: pa3be
4 Replies
2. Shell Programming and Scripting
Writing a ksh script. If someone starts a process with:
test.ksh > date.log
How can I grab 'date.log' name as a variable in test.ksh?
I need to get the 'date.log' name (not the contents) as a variable...without entering something like 'test.ksh date.log > date.log' (4 Replies)
Discussion started by: mhcueball2
4 Replies
3. Shell Programming and Scripting
Hi folks
Please let me know if anyone knows how to handle this.
My KSH script -> testscript.ksh
cmd=$1
ENV="devl"
echo $cmd
This is how I call the script
./testscript.ksh 'ps -ef | grep br$ENV'
How do I get this to print the below text i.e $ENV should be substituted with the value... (5 Replies)
Discussion started by: tipsy
5 Replies
4. Shell Programming and Scripting
Hi,
I did the below.
$ print "\\n"
$
I am curious, why does \\n give two new lines? I would have thought that the first \ would escape the second \, and so we'd get \n printed. But we didn't.
Any ideas?
Thanks. (7 Replies)
Discussion started by: JamesByars
7 Replies
5. Shell Programming and Scripting
Hi All,
In ksh script i'm trying to assign "sqlstmt1" varaible value,
update VAREntryTb set VAR10num = VAR1num * Mltplr where BusD = '$val1' and RunI = 1"`
Hence i wrote below statement, the issue with this is shell is expanding "*" character adn thus subistuting it with the content of my... (6 Replies)
Discussion started by: arvindcgi
6 Replies
6. Shell Programming and Scripting
hi all,
i have a shell (ksh) script where i am reading line by line from a grep command and i wanted to check if the grep command actually returned something or was null. i can do this by using -z :
if ; then .....
but this forces me to do something when $myVariable is null when i... (3 Replies)
Discussion started by: cesarNZ
3 Replies
7. UNIX for Dummies Questions & Answers
Hi all,
The below command tries to copy ".tgz" instead of "hello_test.tgz" -- It seems as if the underscore gets in the way. I tried with different ways of using quotes, with no luck, unfortunately...it's probably very simple, but may I ask how this would be done:
How would the below be... (3 Replies)
Discussion started by: chatguy
3 Replies
8. Shell Programming and Scripting
Hello All,
I'm trying to write a script that will perform a dynamic match (of a dynamic variable) and set a variable to have the resulting (match) value.
The idea is that the environment variable to check ($1) and the regular expression to use ($2) are given as parameters.
For example,... (5 Replies)
Discussion started by: aedgar
5 Replies
9. Shell Programming and Scripting
Hello,
First post for Newbie as I am stumped. I need to get certain elements for a specific PID from the ps command. I am attempting to pass the value for the PID I want to retrieve the information for as a variable. When the following is run without using a variable, setting a specific PID,... (3 Replies)
Discussion started by: Coyote270WSM
3 Replies
10. Shell Programming and Scripting
Hi,,
I have the line below in a file:
$!VarSet |LFDSFN1| = '"E:\APC\Trials\20140705_427_Prototype Trial\Data\T4_20140705_Trial_Cycle_Data_13_T_Norm.txt" "VERSION=100 FILEEXT=\"*.txt\" FILEDESC=\"General Text\" "+""+"TITLE{SEARCH=NONE NAME=\"New Dataset\" LINE=1I want to write a script to change... (2 Replies)
Discussion started by: carlr
2 Replies
LEARN ABOUT DEBIAN
dfg2dfg
DFG2DFG(1) SPASS DFG2DFG(1)
NAME
dfg2dfg - calculate approximations of problems
SYNOPSIS
dfg2dfg [-horn] [-monadic] [-linear] [-shallow] [infile] [outfile]
DESCRIPTION
dfg2dfg is a program that reads clauses from an input file in DFG syntax. It then calculates an approximation of the clause set depending
on the command line options. Finally it writes the approximated clause set in DFG syntax to a file.
If neither infile nor outfile are given, dfg2dfg reads from standard input and writes to standard output. If one file name is given, it
reads from that file and writes the output to standard output. If more than one file name is given, dfg2dfg reads from the first file and
writes to the second.
The approximations are described in technical detail in the separate paper dfg2dfg.ps included in the SPASS distribution.
OPTIONS
dfg2dfg has four different command line options that may be combined.
-horn
This option enables the transformation of non-horn clauses into horn clauses. Each non-horn clause with n positive literals is
transformed into n horn clauses, where the i-th clause contains the i-th positive literal and all negative literals of the non-horn
clause. See also section 3 of the paper.
-monadic[=n]
With this option atoms with non-monadic predicate symbols are transformed into monadic atoms. If n is omitted or n=1 a term encoding
is applied, i.e., all non-monadic predicates are moved to the term level. With n=2 a projection is applied. All non-monadic atoms are
replaced by their monadic argument projections. See section 4.1 section 4.2 of the paper for more details.
-linear
This approximation transforms a clause with monadic literals and non-linear variable occurrences in succedent atoms, into a new clause
with possibly more negative literals, that doesn't contain any non-linear variables in the succedent. See section 5 of the paper for
details.
-shallow[=n]
This transformation tries to reduce the depth of the terms in positive literals. The transformation is applied to horn clauses with
monadic literals only. If n is omitted or n=1 a strict transformation is applied, that is equivalence preserving, however. For n=2
some preconditions are removed. This allows the transformation to be applied more often, but the transformation isn't equivalence
preserving any more. For n=3 even more preconditions are removed. Take a look at section 6.n of the paper for the details of the
command line option -monadic=n.
SEE ALSO
SPASS(1)
AUTHORS
Enno Keen
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2DFG(1)