def __init__(self, graph, vertex=None):
Node.__init__(self, graph, vertex)
self.type = 'user'
if User.style is None:
User.style = graph.new_vertex_style(0)
graph.set_vertex_style_attribute(User.style, "color", "#FFFF00")
def __init__(self, graph, vertex=None):
Node.__init__(self, graph, vertex)
self.type = 'pageView'
if PageView.style is None:
PageView.style = graph.new_vertex_style(0)
graph.set_vertex_style_attribute(PageView.style, "color", "#CCCC99")
def __init__(self, graph, vertex=None):
Node.__init__(self, graph, vertex)
self.type = 'device'
if Device.style is None:
Device.style = graph.new_vertex_style(0)
graph.set_vertex_style_attribute(Device.style, "color", "#666600")
