def __init__(self, name, domain, parents):
Variable.__init__(self, name, domain)
self.parents = parents
self.all_vars = set(parents) | {self}
def __init__(self, name, domain=[False, True], index=1):
Variable.__init__(self, name, domain)
self.index = index
self.previous = None