コード例 #1
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, A):
     Pdc.__init__(self, 2)
     self.A = A
コード例 #2
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, f, pdc):
     Pdc.__init__(self, f.nb_arg())
     self.f = f
     self.pdc = pdc
コード例 #3
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, f, itv1, itv2=None):
     Pdc.__init__(self, f.nb_arg())
     self.itv = itv1
     self.itv2 = itv2
     self.f = f
コード例 #4
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, A):
     Pdc.__init__(self, 2)
     self.A = A
コード例 #5
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, f, pdc):
     Pdc.__init__(self, f.nb_arg())
     self.f = f
     self.pdc = pdc
コード例 #6
0
ファイル: pyPredicate.py プロジェクト: SimonRohou/pyIbex
 def __init__(self, f, itv1, itv2=None):
     Pdc.__init__(self, f.nb_arg())
     self.itv = itv1
     self.itv2 = itv2
     self.f = f