Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(6)  |  Call(6)  |  Derive(0)  |  Import(0)

src/g/a/Gato-1.1.2/AnimatedDataStructures.py   Gato(Download)
    def Push(self,v):
        Stack.Push(self,v)
        self.Animator.SetVertexColor(v, self.ColorOn)
 
    def Pop(self):

src/g/a/Gato-1.1.2/Embedder.py   Gato(Download)
        visited[v] = 0	
    visited[root] = 1
    S.Push(root)
    d[root] = 0
    nodes[0] = []
                    height = d[w]
                    nodes[height] = []
                S.Push(w)
        if isleaf:
            number_of_leaves = number_of_leaves + 1

src/g/a/Gato-1.1.2/PlanarityTest.py   Gato(Download)
    if reached[v]==0:
        reached[v]=1
        S.Push(v)
 
    while S.IsNotEmpty():
        v=S.Pop()
        for w in G.adj_nodes(v):
            if reached[w]==0:
                reached[w]=1
                S.Push(w)
                    if B.right_interlace(S): B.combine(S.Pop())
                    else: break
                S.Push(B)
 
                # PREPARE FOR NEXT ITERATION