Python Guarded.initializeの例

コード例 #1

 def setUp(self):
     "initialize guarded and fixed to no guard"
     F.initialize(
         Options(dict(arithmetic='fixed', precision=self.p, guard=self.g)))
     G.initialize(
         Options(dict(arithmetic='guarded', precision=self.p,
                      guard=self.g)))

コード例 #2

ファイル: test_values.py プロジェクト: skidooesy/droop

 def setUp(self):
     "initialize guarded and rational"
     R.initialize(Options(dict(arithmetic='rational', display=self.p)))
     G.initialize(Options(dict(arithmetic='guarded', precision=self.p, guard=self.g)))

コード例 #3

ファイル: test_values.py プロジェクト: Bellerophone/droop

 def setUp(self):
     "initialize guarded and fixed to no guard"
     F.initialize(Options(dict(arithmetic='fixed', precision=self.p, guard=self.g)))
     G.initialize(Options(dict(arithmetic='guarded', precision=self.p, guard=self.g)))