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
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)
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
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)
def __init__(self, x, label, *args):
super(PreUnlabeled, self).__init__(*args)
_ensure_variable(x)
_ensure_string(label)
self.label = label
self.x = x
def __init__(self, x, *args):
super(Add, self).__init__(*args)
_ensure_string(x)
self.x = x
def __init__(self, v, n, *args):
super(Named, self).__init__(*args)
_ensure_variable(v)
_ensure_string(n)
self.v = v
self.n = n
