Python dynamic_reordering_enabledの例

コード例 #1

ファイル: testBDD.py プロジェクト: xgillard/pynusmv

 def test_reordering(self):
     fsm, enc, manager = self.init_model()
     
     self.assertFalse(dynamic_reordering_enabled())
     enable_dynamic_reordering()
     self.assertTrue(dynamic_reordering_enabled())
     disable_dynamic_reordering()
     self.assertFalse(dynamic_reordering_enabled())

コード例 #2

ファイル: testBDD.py プロジェクト: yyaan/pynusmv

    def test_reordering(self):
        fsm, enc, manager = self.init_model()

        self.assertFalse(dynamic_reordering_enabled())
        enable_dynamic_reordering()
        self.assertTrue(dynamic_reordering_enabled())
        disable_dynamic_reordering()
        self.assertFalse(dynamic_reordering_enabled())

コード例 #3

ファイル: testDDManager.py プロジェクト: yyaan/pynusmv

 def test_dymanic_reordering(self):
     fsm = self.counters_model()
     bddEnc = fsm.bddEnc
     ddmanager = bddEnc.DDmanager
     enable_dynamic_reordering()
     enable_dynamic_reordering(ddmanager)
     self.assertTrue(dynamic_reordering_enabled(ddmanager))
     reorder()
     disable_dynamic_reordering()
     disable_dynamic_reordering(ddmanager)
     self.assertFalse(dynamic_reordering_enabled(ddmanager))