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, 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, 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, p, *args):
_ensure_predicate(p)
_ensure_variable(var)
self.pred = p
self.var = var
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, y, *args):
super(Equal, self).__init__(*args)
_ensure_variable(x)
_ensure_variable(y)
self.x = x
self.y = y
def __init__(self, x, *args):
super(Rem, self).__init__(*args)
_ensure_variable(x)
self.x = x
def __init__(self, x, y, *args):
super(PostParent, self).__init__(*args)
_ensure_variable(x)
_ensure_variable(y)
self.x = x
self.y = y
def __init__(self, v, n, *args):
super(Named, self).__init__(*args)
_ensure_variable(v)
_ensure_string(n)
self.v = v
self.n = n
def __init__(self, x, y, *args):
AtomicPredicate.__init__(self, *args)
_ensure_variable(x)
_ensure_variable(y)
self.x = x
self.y = y
def __init__(self, x, y, *args):
super(Equal, self).__init__(*args)
_ensure_variable(x)
_ensure_variable(y)
self.x = x
self.y = y
def __init__(self, x, *args):
super(Rem, self).__init__(*args)
_ensure_variable(x)
self.x = x
def __init__(self, x, y, *args):
AtomicPredicate.__init__(self, *args)
_ensure_variable(x)
_ensure_variable(y)
self.x = x
self.y = y
