ecofolder/ecofold at main · giannkas/ecofolder · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#!/bin/bash

echo "Unfolding..."
if [ -f $1.ll_net ]; then
  src/ecofolder $1.ll_net
  #src/ecofolder -q $2 -r 0 $1.ll_net
else
  src/ecofolder $1.ll
  #src/ecofolder -q $2 -r 0 $1.ll
fi
#.src/ecofolder/ecofolder

#free=$?

#echo $free

echo "Converting to dot..."
src/mci2dot_ev -p $1_unf.mci > $1_unf.dot
#src/mci2dot_ev -r 10 -c $1_unf.mci > $1_unf.dot
#src/mci2dot_ev -r 1 -c $1_unf.mci $2.evev > $1_unf.dot


# if the compressed mode is needed, you should run:
#src/mci2dot_cpr $1_unf.mci > $1_unf.dot

# if the event structure is needed, you should run:
#src/mci2dot_ev $1_unf.mci > $1_unf.dot

echo "Producing the pdf..."
dot -T pdf $1_unf.dot > $1_unf.pdf

echo "Displaying the pdf..."
evince $1_unf.pdf

# Deleting files...
#rm -f $1.ll_net $1.dot $1.pdf $1.mci
#rm -f $1.ll_net $1.dot $1.mci