具現化された値ではなく、論理式を用いてモデル内のパスを記録する手法はどれか。

パスを論理的な条件式として記録することで、どのような条件のデータであればそのパスを通るかを解析できる。

関連記事

関連記事はありません。