コード例 #1
0
ファイル: pach.py プロジェクト: lucionardelli/tesina
 def get_qhull(self, points):
     if self.filename.endswith('.pnml'):
         qhull = self.parsed_petrinet.get_qhull(neg_points=self.npv_set)
     else:
         points = set(map(tuple, points))
         qhull = Qhull(points, neg_points=self.npv_set)
         qhull.compute_hiperspaces()
     self.output['times'].update(qhull.output.get('times',{}))
     return qhull
コード例 #2
0
ファイル: pach.py プロジェクト: Macuyiko/PacH
 def get_qhull(self, points):
     points = set(map(tuple, points))
     qhull = Qhull(points, neg_points=list(self.npv_set))
     qhull.compute_hiperspaces()
     self.output['times'].update(qhull.output.get('times',{}))
     return qhull