例 ：
if(A & B)
{
if(C)
{
}
if(D)
{
}
}
このコードでは、すべての条件に対して 4 つの異なる状態があります。0 は偽を表し、1 は真の状態を表します。* は、この状態フローでは条件が無効であることを示します。したがって、この場合、考えられるすべての状態を以下に示します。
あいうえお
0 * * *
1 0 * *
1 1 1 0
1 1 0 1
説明 : 最初の状態 (0 * * *) では、条件 A が真です。したがって、コードには B の役割はありません。A自体を評価した後、ifケースが失敗したためです。したがって、条件 C と D も評価されません。同様に、他の 3 つの可能な状態も同様です。
しかし、特定の入力に対してこれらすべての状態を見つけることができる実装済みのアルゴリズムはありますか? より複雑なネストされたコードを解決しようとすると、これが非常に複雑な問題になるためです。このような結果が得られるようにアプリケーションをコーディングするのは非常に難しいと思います。
誰かが私を助けるかもしれないある種のすでに実装されていることを知っているなら、同じことを教えてください。