org.matheclipse.core.boole

Class QuineMcCluskyFormula

java.lang.Object

org.matheclipse.core.boole.QuineMcCluskyFormula

public class QuineMcCluskyFormula
extends java.lang.Object

Implementation of the Quine McCluskey algorithm.

Constructor Summary

Constructors

Constructor and Description
QuineMcCluskyFormula(java.util.List<org.matheclipse.core.boole.QuineMcCluskyTerm> termList, IAST variables)

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args)
static QuineMcCluskyFormula	read(IAST orAST)
static QuineMcCluskyFormula	read(java.io.Reader reader)
static QuineMcCluskyFormula	read(java.lang.String str)
void	reducePrimeImplicantsToSubset()
void	reduceToPrimeImplicants()
IExpr	toExpr()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

QuineMcCluskyFormula

public QuineMcCluskyFormula(java.util.List<org.matheclipse.core.boole.QuineMcCluskyTerm> termList,
                            IAST variables)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toExpr

public IExpr toExpr()
             throws BooleanFunctionConversionException

Throws:

BooleanFunctionConversionException

reduceToPrimeImplicants

public void reduceToPrimeImplicants()

reducePrimeImplicantsToSubset

public void reducePrimeImplicantsToSubset()

read

public static QuineMcCluskyFormula read(java.io.Reader reader)
                                 throws java.io.IOException

Throws:

java.io.IOException

read

public static QuineMcCluskyFormula read(java.lang.String str)

read

public static QuineMcCluskyFormula read(IAST orAST)
                                 throws BooleanFunctionConversionException

Throws:

BooleanFunctionConversionException

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

Throws:

java.io.IOException