def write_sas(problem):
s = write_version() + \
write_action_costs() + \
write_variables(problem) + \
write_mutexes(problem) + \
write_initial(problem) + \
write_goal(problem) + \
write_actions(problem) + \
write_axioms(problem)
write(SAS_PATH, s)
def write_file(problem): write(PATH, problem)