from tools.strings import StringMng
from tools.strix import Strix
path = os.path.abspath(os.path.dirname(__file__))
if len(sys.argv) > 1:
controller_name = sys.argv[1]
else:
controller_name = "5"
print(f"controller selected: {path}/controller_specs/{controller_name}.txt")
a, g, i, o = StringMng.parse_controller_specification_from_file(
f"{path}/controller_specs/{controller_name}.txt")
realizable, kiss_format, exec_time = Strix.generate_controller(a, g, i, o)
controller = Controller(mealy_machine=kiss_format)
Persistence.dump_controller(controller, f"{path}/controller_specs",
controller_name)
print("\n~~~MEALY MACHINE~~~\n" + str(controller))
Store.save_to_file(str(controller),
f"{controller_name}_table.txt",
absolute_folder_path=f"{path}/controller_specs")
run = controller.simulate()
print("\n\n\n~~~SIMULATION OF A RUN~~~\n" + run)
Store.save_to_file(str(run),
f"{controller_name}_run.txt",
absolute_folder_path=f"{path}/controller_specs")
import os
from controller import Controller
from tools.persistence import Persistence
from tools.storage import Store
from tools.strings import StringMng
from tools.strix import Strix
path = os.path.abspath(os.path.dirname(__file__))
controller_name = "good_0"
a, g, i, o = StringMng.parse_controller_specification_from_file(f"{path}/{controller_name}.txt")
realizable, kiss_format, exec_time = Strix.generate_controller(a, g, i, o)
controller = Controller(mealy_machine=kiss_format)
Persistence.dump_controller(controller, path, controller_name)
print(controller)
Store.save_to_file(str(controller), f"{controller_name}_table.txt", absolute_folder_path=f"{path}")
run = controller.simulate()
print(run)
Store.save_to_file(str(run), f"{controller_name}_run.txt", absolute_folder_path=f"{path}")