This repository has been archived by the owner on Nov 15, 2024. It is now read-only.

frontend: ワードミュートを選言標準形の処理として書き直す #72

Open

KisaragiEffective opened this issue Aug 21, 2024 · 0 comments

Labels

PgPy:M

Member

KisaragiEffective commented Aug 21, 2024

現状のワードミュートは

(s1_1 && s1_2 && s1_3 && ... && s1_{N_1})
|| (s2_1 && s2_2 && ... && s2_{N_2})
|| (...)
|| (sL_1 && sL_2 && sL_3 && ... sL_{N_L})

という構成である。これは選言標準形にほかならない。そのため、選言標準形にマッチさせるためのクラスを用意してそれへのマッチとする形で書き直したい。

KisaragiEffective added the PgPy:M label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.