Python LTLの例

コード例 #1

ファイル: spec_test.py プロジェクト: ericskim/tulip-control

class LTL_test:
    def setUp(self):
        self.f = LTL("[](p -> <>q)", input_variables={"p":"boolean"},
                     output_variables={"q":"boolean"})

    def tearDown(self):
        self.f = None

    def test_loads_dumps_id(self):
        # Dump/load identity test: Dumping the result from loading a
        # dump should be identical to the original dump.
        assert self.f.dumps() == LTL.loads(self.f.dumps()).dumps()

コード例 #2

ファイル: spec_test.py プロジェクト: ericskim/tulip-control

 def test_loads_dumps_id(self):
     # Dump/load identity test: Dumping the result from loading a
     # dump should be identical to the original dump.
     assert self.f.dumps() == LTL.loads(self.f.dumps()).dumps()

コード例 #3

ファイル: spec_test.py プロジェクト: ericskim/tulip-control

 def setUp(self):
     self.f = LTL("[](p -> <>q)", input_variables={"p":"boolean"},
                  output_variables={"q":"boolean"})