org.colomoto.biolqm.helper.implicants

Class MDD2PrimeImplicants

java.lang.Object

org.colomoto.biolqm.helper.implicants.MDD2PrimeImplicants

public class MDD2PrimeImplicants
extends Object

Constructor Summary

Constructors

Constructor and Description
MDD2PrimeImplicants(org.colomoto.mddlib.MDDManager ddmanager)

Method Summary

Modifier and Type	Method and Description
Formula	getPrimes(int f, int t) Extract the prime implicants from a MDD-represented function.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MDD2PrimeImplicants

public MDD2PrimeImplicants(org.colomoto.mddlib.MDDManager ddmanager)

Method Detail

getPrimes

public Formula getPrimes(int f,
                         int t)

Extract the prime implicants from a MDD-represented function. For this we need to start constructing all implicants using only the relevant regulators A first visit of the MDD is used to extract all regulators Then paths to TRUE in the space of these regulators are extracted, and transformed into an exhaustive list of all implicants. The prime implicants are extracted from this list. Finally, these prime implicants are converted back into the space with all variables.

Parameters:

f - the MDD identifier for the logical function

t - the target value

Returns:

a Formula representing the prime implicants