■解生成後に解を整形して出力する場合に記述します。
■例は、post_main.nurse3です。
■Pythonポスト処理をチェックします。(言語制約の使用もチェックします)
■def post_main():をメインとして記述します。
def post_main():
print("Hello PostMain world!")
print("\t ",end=" ")
for day in 日:#日曜日の日付出力
print(daydef[day],end=' ')
print(end="\n")
for person in 全スタッフ:
print(staffdef[person], end=' ')#スタッフ名出力
for day in 日:
print(shift_solution[person][day],end=' ')#日曜日のシフト解を出力
print(end="\n")
■解は、shift_solution,task_solutionとして取り出すことが出来ます。
■処理したソース内容は、全体ソース(ポスト)として見ることができます。
■post_mainは、制約処理系とは別のプロセスになります。