コード例 #1
0
ファイル: solver_test.py プロジェクト: mwarren-hrl/dreal4 
 def test_use_local_optimization(self):
     c = Config()
     c.use_local_optimization = False
     self.assertFalse(c.use_local_optimization)
     c.use_local_optimization = True
     self.assertTrue(c.use_local_optimization)
コード例 #2
0
ファイル: solver_test.py プロジェクト: mwarren-hrl/dreal4 
 def test_use_worklist_fixpoint(self):
     c = Config()
     c.use_worklist_fixpoint = False
     self.assertFalse(c.use_worklist_fixpoint)
     c.use_worklist_fixpoint = True
     self.assertTrue(c.use_worklist_fixpoint)
コード例 #3
0
ファイル: solver_test.py プロジェクト: mwarren-hrl/dreal4 
 def test_use_polytope(self):
     c = Config()
     c.use_polytope = False
     self.assertFalse(c.use_polytope)
     c.use_polytope = True
     self.assertTrue(c.use_polytope)
コード例 #4
0
ファイル: solver_test.py プロジェクト: mwarren-hrl/dreal4 
 def test_use_polytope_in_forall(self):
     c = Config()
     c.use_polytope_in_forall = False
     self.assertFalse(c.use_polytope_in_forall)
     c.use_polytope_in_forall = True
     self.assertTrue(c.use_polytope_in_forall)
コード例 #5
0
ファイル: solver_test.py プロジェクト: mwarren-hrl/dreal4 
 def test_precision(self):
     c = Config()
     c.precision = 0.0001
     self.assertEqual(c.precision, 0.0001)
     c.precision = 0.01
     self.assertEqual(c.precision, 0.01)