Searched +defs:gtop +defs:g2 (Results 1 – 1 of 1) sorted by relevance
238 ZBDD g2 = g; in SymGrp() local268 ZBDD g2 = g; in SymGrpNaive() local451 int ftop = f.Top(); int gtop = g.Top(); in operator *() local522 int gtop = g.Top(); in ZBDD_Meet() local1025 int gtop = g.Top(); in ZLev() local1068 int gtop = g.Top(); in Intersec() local