def process(inputBoolExp=None):
inputInterface = LVInterface()
#inputBoolExp = "IPTG'.aTc.Arabinose'+IPTG'.aTc.Arabinose+IPTG.aTc.Arabinose"
if not inputBoolExp:
inputBoolExp = "IPTG'.aTc'.Arabinose'+IPTG.aTc'.Arabinose'+IPTG.aTc.Arabinose'"
inputProt = ["IPTG", "aTc", "Arabinose"]
inputInterface.set_original_input_names(inputProt)
inputInterface.take_inputs(inputBoolExp)
#print("Original Inputs: " + inputProt)
#print("Original Equation: " + inputBoolExp)
newInputEq = inputInterface.replace_input_eq_with_new_names(
inputInterface.replace_input_names())
newInputEq1 = inputInterface.replace_input_eq_with_original_names(
newInputEq)
#print("New Expressions: " + newInputEq)
print(
"***************************************************************************\n"
)
print("Input Expression is: " + inputBoolExp)
print(
"\n***************************************************************************"
)
print("LV Expression is: " + newInputEq)
print(
"\n***************************************************************************"
)
# Calling method to run simulated annealing algorithm
initTemp = inputInterface.initial_temp #10.0
tempCoeff = inputInterface.temp_coeff #0.90
timeToRun = inputInterface.time_to_run #0.030 #0.5
writeFile = open("Data.txt", "w")
SimAnneal = SimulatedAnnealing(tempCoeff, initTemp, timeToRun, newInputEq)
SimAnneal.minimise_expression()
bestSolution = SimAnneal.best_solution()
print("Optimized Expression: " + bestSolution)
print("New Cost: " + str(SimAnneal.best_solution_cost))
writeFile.write(SimAnneal.best_solution())
writeFile.write("\n" + str(SimAnneal.best_solution_cost))
outExp = ""
# *********************** Test block for NorNot converter ***********************
inputExp = bestSolution #"c'(ab+b')"
processExpression = MinTermsProcessor("", 0, "")
convertExp = NotNorConverter()
outputString = convertExp.convert_into_not_nor(inputExp)
print("best Solution", inputExp)
print("Synthesized Expression into NOT-NOR Form: " + outputString)
print(outputString == "(a+b'+c)'+(a+b'+c')'+(a'+b'+c')'")
writeFile.write("\n" + outputString)
# *********************************************************************
newOrigEq = inputInterface.replace_input_eq_with_original_names(
outputString)
print("New Expression with input proteins: " + newOrigEq)
writeFile.write("\n" + newOrigEq)
# Technology Mapping
mapGatesOnExpression = TechMapper(outputString)
libFile = mapGatesOnExpression.read_gates_lib()
mapGatesOnExpression.parse_gates_lib(libFile)
mapGatesOnExpression.generate_tree_expression()
mapGatesOnExpression.finalize()
