Ejemplos de L_star.L_star en Python

Ejemplo n.º 1

Archivo: main.py Proyecto: Matthieu-Riou/Stress-patterns-learning

def run(fct):
    false = []
    mypath = "DataAutomate"

    count = 0
    for f in listdir(mypath):
        if isfile(join(mypath, f)):
            count += 1
            sys.stdout.write(f + "	")
            a = Automate.importFromFile(join(mypath, f))
            #print a

            oracle = Oracle(a)
            alphabet = a.getAlphabet()
            l_star = L_star(alphabet, oracle)

            if fct == "run":
                res = l_star.run()
            elif fct == "run_without_equivalence":
                res = l_star.run_without_equivalence()

            if not res:
                false.append(f)

    print "##", len(false), '/', count, false