# Window properties
atnvis.window.Title = Automated Trust Negotiation Visualization
atnvis.window.Height = 768
atnvis.window.Width = 1024


# Control properties
atnvis.control.DefaultDelay = 500
atnvis.control.Loop = true


# Parser
atnvis.parser=com.algomagic.atn.PropertyLogParser
atnvis.parser.IgnoreProcessing = true


# Graph properties
atnvis.graph.Scale = 0.8
atnvis.graph.ShadowColor = gray60


# Default node properties
atnvis.node.Default.style = solid,filled
atnvis.node.Default.color = purple
atnvis.node.Default.shape = box
atnvis.node.Default.fontname = TimesRoman
atnvis.node.Default.fontcolor = black
atnvis.node.Default.fontsize = 14
atnvis.node.Default.fontstyle = normal


# Default edge properties:
atnvis.edge.Default.style = solid
atnvis.edge.Default.color = black
atnvis.edge.Default.direction = back


atnvis.node.StandardTarget.shape = octagon
atnvis.node.RoleTarget.shape = octagon
atnvis.node.IntersectionTarget.shape = house
atnvis.node.LinkingGoal.shape = box
atnvis.node.LinkedRoleTarget.shape = trapezium
atnvis.node.TrivialTarget.shape = invhouse


atnvis.node.processed.Unprocessed.color = yellow
atnvis.node.processed.Opponent.color = lightblue
atnvis.node.processed.Verifier.color = lightgoldenrod
atnvis.node.processed.Fully.color = lightseagreen

atnvis.node.satisfied.Satisfied.color = green
atnvis.node.satisfied.Failed.color = red
atnvis.node.satisfied.Unknown.color = white

#atnvis.node.satisfied.Satisfied.shape = tripleoctagon
#atnvis.node.satisfied.Failed.shape = doubleoctagon


# Standard Implication Edge properties
atnvis.edge.Implication.color = purple3
atnvis.edge.Implication.style = solid
atnvis.edge.Implication.color.bold = purple1
atnvis.edge.Implication.style.bold = dashed

# Linking-Monitor Edge properties
atnvis.edge.LinkingMonitor.color = royalblue3
atnvis.edge.LinkingMonitor.style = solid
atnvis.edge.LinkingMonitor.color.bold = royalblue1
atnvis.edge.LinkingMonitor.style.bold = dashed

# Linking-Solution Edge properties
atnvis.edge.LinkingSolution.color = gold3
atnvis.edge.LinkingSolution.style = solid
atnvis.edge.LinkingSolution.color.bold = gold1
atnvis.edge.LinkingSolution.style.bold = dashed

# Linking-Implication Edge properties
atnvis.edge.LinkingImplication.color = darkolivegreen3
atnvis.edge.LinkingImplication.style = solid
atnvis.edge.LinkingImplication.color.bold = darkolivegreen1
atnvis.edge.LinkingImplication.style.bold = dashed

# Intersection Edge properties
atnvis.edge.Intersection.color = orange3
atnvis.edge.Intersection.style = solid
atnvis.edge.Intersection.color.bold = orange1
atnvis.edge.Intersection.style.bold = dashed

# Control Edge properties
atnvis.edge.Control.color = firebrick3
atnvis.edge.Control.style = solid
atnvis.edge.Control.color.bold = firebrick1
atnvis.edge.Control.style.bold = dashed