Cコードの私のタグリスト:
||マクロ MIN_LEN
|| MAX_ITERATIONS
||- typedef
|| ||セル
|| source_cell
||- 変数
|| len_given
タグリスト要素 (ドメイン):
A = {MIN_LEN, MAX_ITERATIONS, cell, source_cell, len_given}
コード スニペット (コドメイン):
B = {"code_MIN_LEN", "code_MAX_ITERATIONS", ..., "code_len_given"}
目標:セット A と B の間に全単射を持たせること。
例: A または B のいずれかの要素を削除することにより、A と B から MIN_LEN などの A の要素を削除したいと考えています。
質問: A と B の間の全単射を隔離して、A または B のいずれかの変更が他方のセットの変更になるようにする方法はありますか?