gacAStar

def gacAStar(g,constraints):
    G0 = g.createCopy()
    openQ = PriorityQueue()
    closedQ = []
    initialize(G0,constraints)
    domainFilter(G0,constraints)
    print G0

    openQ.add(G0)

    while len(openQ)>0:
        Gn = openQ.pop()
        closedQ.append(Gn)
        if Gn.isSolution(): return Gn
        elif Gn.isContradictory(): return None
        else:
            Vn = Gn.startingPoint()
            index = Vn.index
            for i in range(0,len(Vn.domain)):
                Gi = Gn.createCopy()
                Vi = Gi.get(index)
                Vi.assignDomain(Vn.domain[i])
                openQ.add(Gi)
                rerun(Gi,Vi,constraints)

                Gi.computeF()
                print Gi