Esempio n. 1
0
 def test_str_2(self):
     t1 = Term('y')
     t2 = Term('-z')
     eq = Equation('x', 'define x', (t2, t1))
     self.assertEqual('-z+y', eq.GetRightHandSide())
Esempio n. 2
0
 def test_Addterm_3(self):
     eq = Equation('x', 'define x')
     eq.AddTerm('y')
     self.assertEqual('y', eq.GetRightHandSide())
     eq.AddTerm('w*z')
     self.assertEqual('y+w*z', eq.GetRightHandSide())
Esempio n. 3
0
 def test_str_1(self):
     t1 = Term('y')
     t2 = Term('-z')
     eq = Equation('x', 'define x', (t1, t2))
     self.assertEqual('y-z', eq.GetRightHandSide())