Python SubException Examples

Example #1

 def sub(self, x, v):
     raise SubException("Pred")

Example #2

 def sub(self, x, v):
     raise SubException("And")

Example #3

 def sub(self, x, v):
     raise SubException("Exists")

Example #4

 def sub(self, x, v):
     raise SubException("Forall")

Example #5

 def sub(self, x, v):
     raise SubException("Var")

Example #6

 def sub(self, x, v):
     raise SubException("Lit")

Example #7

 def sub(self, x, v):
     raise SubException("Arrow")