import os
include("common.py")
filename = "dg.dg"

nogMols = (Pi, AcP, G3P, DHAP, E4P, R5P, Ru5P, F6P, S7P, FBP)

if os.path.isfile(prefixFilename(filename)):
	dg = DG.load(inputGraphs, inputRules, filename)
else:
	stratBFS = (
		addSubset(nogMols)
		>> rightPredicate[
			lambda d: all(a.vLabelCount("C") <= 8 for a in d.right)
		](
			repeat(nogRules)
		)
	)
	dg = DG(graphDatabase=inputGraphs)
	dg.build().execute(stratBFS)
	outFile = dg.dump()
	post("cp \"" + outFile + "\" \"" + prefixFilename(filename) + "\"")
print("|V| =", dg.numVertices)
print("|E| =", dg.numEdges)
renameGraphs(dg.graphDatabase)