Exemplo n.º 1
0
 def varsAlternatives(self, subfreevars):
     return (union_of(subfreevars[1:]), EMPTY_SET)
Exemplo n.º 2
0
 def varsAlternatives(self, subfreevars):
     return (union_of(subfreevars[1:]), EMPTY_SET)
Exemplo n.º 3
0
 def varsAlternatives(self, subfreevars):
     return (union_of(subfreevars[1:]), union_of(subfreevars[4::2]))
Exemplo n.º 4
0
 def varsAlternatives(self, subfreevars):
     return (union_of(subfreevars[1:]), union_of(subfreevars[4::2]))