Example #1
0
 def __truediv__(self, other: 'ExactRealProgram'):
     other = cast_input(other)
     return ExactDiv([self, other])
Example #2
0
 def __sub__(self, other: 'ExactRealProgram'):
     other = cast_input(other)
     return ExactSub([self, other])
Example #3
0
 def __mul__(self, other: 'ExactRealProgram'):
     other = cast_input(other)
     return ExactMul([self, other])
Example #4
0
 def __add__(self, other: 'ExactRealProgram'):
     other = cast_input(other)
     return ExactAdd([self, other])
Example #5
0
 def __rtruediv__(self, other: 'ExactRealProgram'):
     return cast_input(other) / self
Example #6
0
 def __rmul__(self, other: 'ExactRealProgram'):
     return cast_input(other) * self
Example #7
0
 def __rsub__(self, other: 'ExactRealProgram'):
     return cast_input(other) - self
Example #8
0
 def __radd__(self, other: 'ExactRealProgram'):
     return cast_input(other) + self