Exemplo n.º 1
0
 def sub(self, x, v):
     raise SubException("Pred")
Exemplo n.º 2
0
 def sub(self, x, v):
     raise SubException("And")
Exemplo n.º 3
0
 def sub(self, x, v):
     raise SubException("Exists")
Exemplo n.º 4
0
 def sub(self, x, v):
     raise SubException("Forall")
Exemplo n.º 5
0
 def sub(self, x, v):
     raise SubException("Var")
Exemplo n.º 6
0
 def sub(self, x, v):
     raise SubException("Lit")
Exemplo n.º 7
0
 def sub(self, x, v):
     raise SubException("Arrow")