Exemplos de get_int_or_add em Python

Exemplo n.º 1

Arquivo: atomic_predicate.py Projeto: 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

Exemplo n.º 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

Exemplo n.º 3

Arquivo: atomic_predicate.py Projeto: 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)

Exemplo n.º 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)