solver.tui.file.import_.lstc# class main_menu.file.import_.lstc(path, service)# Imports an LSTC file. input(*args, **kwargs)# Reads an LSTC input file as a case file. state(*args, **kwargs)# Reads an LSTC result file as a case file.