How To Write An E-Cases File

An e-cases file is a TEXT file listing several e-cases. Using an e-cases file is recommended if you wish to study many e-cases of the same net.

As an example, consider a file called my_Ecases.txt, that contains the following:

In this example, 3 e-cases are given.

Next we will state the general rules that one must follow in writing an e-cases file for Quantum Fog. Some of the terminology used below is defined in the section entitled "Terminology-Alphabetic".

General Rules:

The order in which node names, and state names are enumerated does not matter.

[Table Of Contents]