Python get_int_or_addの例

コード例 #1

ファイル: atomic_predicate.py プロジェクト: bgyori/syndra

 def __init__(self, var, label, *args):
     AtomicPredicate.__init__(self, *args)
     _ensure_variable(var)
     _ensure_string(label)
     self.label = label
     self.label_as_int = string_interner.get_int_or_add(self.label)
     self.var = var

コード例 #2

 def __init__(self, var, label, *args):
     AtomicPredicate.__init__(self, *args)
     _ensure_variable(var)
     _ensure_string(label)
     self.label = label
     self.label_as_int = string_interner.get_int_or_add(self.label)
     self.var = var

コード例 #3

ファイル: atomic_predicate.py プロジェクト: bgyori/syndra

 def __init__(self, var, name, *args):
     super(Named, self).__init__(*args)
     _ensure_variable(var)
     _ensure_string(name)
     self.var = var
     self.name = name
     self.name_as_number = string_interner.get_int_or_add(self.name)

コード例 #4

 def __init__(self, var, name, *args):
     super(Named, self).__init__(*args)
     _ensure_variable(var)
     _ensure_string(name)
     self.var = var
     self.name = name
     self.name_as_number = string_interner.get_int_or_add(self.name)