Reactivate ([cffi A], S, B, T), - (cffi : 1|A|, S, B, T), where c is a CHR constraint (re-added to A by a Solve transition but not yet active). 4.
確定! 回上一頁