BNetToPrime

This tool converts a Boolean Network in the BoolNet format to a list of all prime implicants for each regulatory function.

Compiling

Extra easy to compile:

cd BNetToPrime
"compiler" main.cpp

where "compiler" is either g++ on Unix/Linux, clang++ on MacOS, or cl on Windows.

A binary file gets produced based on the platform (e.g. a.out on Unix/Linux).

The code is C++98 compliant.

Running

BNetToPrime [--help][--ver][input [output]] 
  --help displays help
  --ver  displays version
  input  the path to the input file, if missing, the standard input (console/terminal) is used
  output the path to the output file, if missing, the standard output is used

Input file

Each line input file is expected to be of the form:

target, function

where "target" is a name of a component and "function" is a boolean function over components with "&" for conjunction, "|" for disjunction, "!" for negation.

Note, if the line is "targets, factors" (as a result of printing it from BoolNet) then it is ignored.

Output file

Output is a json object that holds for each component an array with two elements. The first element is a list of all prime implicants of the negation of its regulatory function. The second element is a list of all prime implicants of its regulatory function.

If the component appears only in a function, a new line with 'component,component' is added.

An empty list means there is no implicant, i.e. the function is not satisfiable.

A list with only an empty object means that the formula is tautology, i.e. it is always satisfiable.

Example

Input

targets, factors
A, B & C
B, !A | B

Output (formatted with whitespace)

{
    "A": [
        [
            {
                "C": 0
            },
            {
                "B": 0
            }
        ],
        [
            {
                "B": 1,
                "C": 1
            }
        ]
    ],
    "B": [
        [
            {
                "A": 1,
                "B": 0
            }
        ],
        [
            {
                "B": 1
            },
            {
                "A": 0
            }
        ]
    ],
    "C": [
        [
            {
                "C": 0
            }
        ],
        [
            {
                "C": 1
            }
        ]
    ]
}