Exemplos de Variables.insert em Python

Exemplo n.º 1

Arquivo: symbolic_test.py Projeto: zeta1999/dreal4

 def test_insert2(self):
     vars = Variables([x])
     vars.insert(Variables([y, z]))
     self.assertEqual(vars.size(), 3)

Exemplo n.º 2

Arquivo: symbolic_test.py Projeto: zeta1999/dreal4

 def test_insert1(self):
     vars = Variables()
     vars.insert(x)
     self.assertEqual(vars.size(), 1)