andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Added special weights in dot output for M_0 originating terms.

Browse Source
This commit is contained in:
ccremers 2006-07-02 13:38:20 +00:00
parent 4ec62ddad9
commit fc8b0de971
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/dotout.c
View File

@ -998,7 +998,8 @@ drawBinding (const System sys, Binding b)
{
return;
}
if (isApplicationM0 (sys, b->run_from))
if (isApplicationM0 (sys, b->run_from) ||
sys->runs[b->run_from].role == I_M)
{
m0_from = true;
}
@ -1027,7 +1028,7 @@ drawBinding (const System sys, Binding b)
}
}
// normal from intruder (not M0)
// normal from intruder, not seen before (might be M_0)
if (intr_to)
{
// intr->intr
@ -1035,7 +1036,12 @@ drawBinding (const System sys, Binding b)
myarrow (b);
eprintf (" [label=\"");
termPrintRemap (b->term);
eprintf ("\"]");
eprintf ("\"");
if (m0_from)
{
eprintf (",weight=\"10.0\"");
}
eprintf ("]");
eprintf (";\n");
}
else
@ -1043,6 +1049,10 @@ drawBinding (const System sys, Binding b)
// intr->regular
eprintf ("\t");
myarrow (b);
if (m0_from)
{
eprintf ("[weight=\"0.5\"]");
}
eprintf (";\n");
}
}