Package com.bpodgursky.jbool_expressions.rules

Class QuineMcCluskey

java.lang.Object

com.bpodgursky.jbool_expressions.rules.QuineMcCluskey

public class QuineMcCluskey
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	QuineMcCluskey.EPICalculation
static class	QuineMcCluskey.Implicant

Constructor Summary

Constructors

Constructor	Description
QuineMcCluskey()

Method Summary

Modifier and Type	Method	Description
static <K> Expression<K>	assign(Expression<K> root, Map<K,Boolean> values, RuleList<K> simplifyRules, ExprOptions<K> options)
static <K> void	findMinterms(int pos, ArrayList<K> variables, Expression<K> input, Map<K,Boolean> assignments, List<Integer> collectedMinterms, RuleList<K> simplifyRules, ExprOptions<K> options)
static <K> List<Integer>	findMinterms(int pos, ArrayList<K> variables, Map<K,Boolean> assignments, Expression<K> input, RuleList<K> simplifyRules, ExprOptions<K> options)
static QuineMcCluskey.EPICalculation	getEssentialPrimeImplicants(Set<QuineMcCluskey.Implicant> implicants, List<Integer> minterms)
protected static Set<QuineMcCluskey.Implicant>	getMergedImplicants(List<Integer> minterms)
protected static <K> List<Expression<K>>	getPetrickMethodImplicants(List<K> variables, List<Integer> remainingMinterms, List<QuineMcCluskey.Implicant> implicants)
static <K> Expression<K>	toDNF(Expression<K> input, ExprOptions<K> options)

Methods inherited from class java.lang.Object

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

Constructor Detail

QuineMcCluskey

public QuineMcCluskey()

Method Detail

toDNF

public static <K> Expression<K> toDNF(Expression<K> input,
                                      ExprOptions<K> options)

getEssentialPrimeImplicants

public static QuineMcCluskey.EPICalculation getEssentialPrimeImplicants(Set<QuineMcCluskey.Implicant> implicants,
                                                                        List<Integer> minterms)

getPetrickMethodImplicants

protected static <K> List<Expression<K>> getPetrickMethodImplicants(List<K> variables,
                                                                    List<Integer> remainingMinterms,
                                                                    List<QuineMcCluskey.Implicant> implicants)

getMergedImplicants

protected static Set<QuineMcCluskey.Implicant> getMergedImplicants(List<Integer> minterms)

findMinterms

public static <K> List<Integer> findMinterms(int pos,
                                             ArrayList<K> variables,
                                             Map<K,Boolean> assignments,
                                             Expression<K> input,
                                             RuleList<K> simplifyRules,
                                             ExprOptions<K> options)

findMinterms

public static <K> void findMinterms(int pos,
                                    ArrayList<K> variables,
                                    Expression<K> input,
                                    Map<K,Boolean> assignments,
                                    List<Integer> collectedMinterms,
                                    RuleList<K> simplifyRules,
                                    ExprOptions<K> options)

assign

public static <K> Expression<K> assign(Expression<K> root,
                                       Map<K,Boolean> values,
                                       RuleList<K> simplifyRules,
                                       ExprOptions<K> options)