1つのチャンネルの出力側に複数のリソースが接続していて,出力側リソース毎に右単項性が異なった場合,入力側の辺は必ず PUSH のみ選択可能にする. #51

Merged Shinji merged 1 commit into nitta-lab:master from nitta-lab:forMultipleOutputResources on 7 Jul 2022
n-nitta commented on 7 Jul 2022

1つのチャンネルの出力側に複数のリソースが接続している場合に対応しました.
マージをお願いします.

Shinji referenced the pull request on 7 Jul 2022

1つのチャンネルの出力側に複数のリソースが接続していて,出力側リソース毎に右単項性が異なった場合,入力側の辺は必ず PUSH のみ選択可能にする.

Shinji merged commit b952f77 into master from forMultipleOutputResources on 7 Jul 2022
Shinji closed this pull request on 7 Jul 2022
Labels

Priority
No priority
Milestone
No milestone
Assignee
No one
2 participants