| [8780cbec] | 1 | # Window properties |
|---|
| 2 | atnvis.window.Title = Automated Trust Negotiation Visualization |
|---|
| 3 | atnvis.window.Height = 768 |
|---|
| 4 | atnvis.window.Width = 1024 |
|---|
| 5 | |
|---|
| 6 | |
|---|
| 7 | # Control properties |
|---|
| 8 | atnvis.control.DefaultDelay = 500 |
|---|
| 9 | atnvis.control.Loop = true |
|---|
| 10 | |
|---|
| 11 | |
|---|
| 12 | # Parser |
|---|
| 13 | atnvis.parser=com.algomagic.atn.PropertyLogParser |
|---|
| 14 | atnvis.parser.IgnoreProcessing = true |
|---|
| 15 | |
|---|
| 16 | |
|---|
| 17 | # Graph properties |
|---|
| 18 | atnvis.graph.Scale = 0.8 |
|---|
| 19 | atnvis.graph.ShadowColor = gray60 |
|---|
| 20 | |
|---|
| 21 | |
|---|
| 22 | # Default node properties |
|---|
| 23 | atnvis.node.Default.style = solid,filled |
|---|
| 24 | atnvis.node.Default.color = purple |
|---|
| 25 | atnvis.node.Default.shape = box |
|---|
| 26 | atnvis.node.Default.fontname = TimesRoman |
|---|
| 27 | atnvis.node.Default.fontcolor = black |
|---|
| 28 | atnvis.node.Default.fontsize = 14 |
|---|
| 29 | atnvis.node.Default.fontstyle = normal |
|---|
| 30 | |
|---|
| 31 | |
|---|
| 32 | # Default edge properties: |
|---|
| 33 | atnvis.edge.Default.style = solid |
|---|
| 34 | atnvis.edge.Default.color = black |
|---|
| 35 | atnvis.edge.Default.direction = back |
|---|
| 36 | |
|---|
| 37 | |
|---|
| 38 | atnvis.node.StandardTarget.shape = octagon |
|---|
| 39 | atnvis.node.RoleTarget.shape = octagon |
|---|
| 40 | atnvis.node.IntersectionTarget.shape = house |
|---|
| 41 | atnvis.node.LinkingGoal.shape = box |
|---|
| 42 | atnvis.node.LinkedRoleTarget.shape = trapezium |
|---|
| 43 | atnvis.node.TrivialTarget.shape = invhouse |
|---|
| 44 | |
|---|
| 45 | |
|---|
| 46 | atnvis.node.processed.Unprocessed.color = yellow |
|---|
| 47 | atnvis.node.processed.Opponent.color = lightblue |
|---|
| 48 | atnvis.node.processed.Verifier.color = lightgoldenrod |
|---|
| 49 | atnvis.node.processed.Fully.color = lightseagreen |
|---|
| 50 | |
|---|
| 51 | atnvis.node.satisfied.Satisfied.color = green |
|---|
| 52 | atnvis.node.satisfied.Failed.color = red |
|---|
| 53 | atnvis.node.satisfied.Unknown.color = white |
|---|
| 54 | |
|---|
| 55 | #atnvis.node.satisfied.Satisfied.shape = tripleoctagon |
|---|
| 56 | #atnvis.node.satisfied.Failed.shape = doubleoctagon |
|---|
| 57 | |
|---|
| 58 | |
|---|
| 59 | # Standard Implication Edge properties |
|---|
| 60 | atnvis.edge.Implication.color = purple3 |
|---|
| 61 | atnvis.edge.Implication.style = solid |
|---|
| 62 | atnvis.edge.Implication.color.bold = purple1 |
|---|
| 63 | atnvis.edge.Implication.style.bold = dashed |
|---|
| 64 | |
|---|
| 65 | # Linking-Monitor Edge properties |
|---|
| 66 | atnvis.edge.LinkingMonitor.color = royalblue3 |
|---|
| 67 | atnvis.edge.LinkingMonitor.style = solid |
|---|
| 68 | atnvis.edge.LinkingMonitor.color.bold = royalblue1 |
|---|
| 69 | atnvis.edge.LinkingMonitor.style.bold = dashed |
|---|
| 70 | |
|---|
| 71 | # Linking-Solution Edge properties |
|---|
| 72 | atnvis.edge.LinkingSolution.color = gold3 |
|---|
| 73 | atnvis.edge.LinkingSolution.style = solid |
|---|
| 74 | atnvis.edge.LinkingSolution.color.bold = gold1 |
|---|
| 75 | atnvis.edge.LinkingSolution.style.bold = dashed |
|---|
| 76 | |
|---|
| 77 | # Linking-Implication Edge properties |
|---|
| 78 | atnvis.edge.LinkingImplication.color = darkolivegreen3 |
|---|
| 79 | atnvis.edge.LinkingImplication.style = solid |
|---|
| 80 | atnvis.edge.LinkingImplication.color.bold = darkolivegreen1 |
|---|
| 81 | atnvis.edge.LinkingImplication.style.bold = dashed |
|---|
| 82 | |
|---|
| 83 | # Intersection Edge properties |
|---|
| 84 | atnvis.edge.Intersection.color = orange3 |
|---|
| 85 | atnvis.edge.Intersection.style = solid |
|---|
| 86 | atnvis.edge.Intersection.color.bold = orange1 |
|---|
| 87 | atnvis.edge.Intersection.style.bold = dashed |
|---|
| 88 | |
|---|
| 89 | # Control Edge properties |
|---|
| 90 | atnvis.edge.Control.color = firebrick3 |
|---|
| 91 | atnvis.edge.Control.style = solid |
|---|
| 92 | atnvis.edge.Control.color.bold = firebrick1 |
|---|
| 93 | atnvis.edge.Control.style.bold = dashed |
|---|
