org.colomoto.biolqm.helper.implicants

Class Formula

java.lang.Object

org.colomoto.biolqm.helper.implicants.Formula

public class Formula
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
int[]	regulators

Constructor Summary

Constructors

Constructor and Description
Formula(List<Term> termList)
Formula(List<Term> termList, int[] regulators)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Formula f)
Iterable<Term>	getTerms()
static void	main(String[] args)
Formula	negatePrimes()
static Formula	read(Reader reader)
static Formula	readintArray(int[][] states)
void	reducePrimeImplicantsToSubset()
void	reduceToPrimeImplicants()
int[][]	toArray()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

regulators

public final int[] regulators

Constructor Detail

Formula

public Formula(List<Term> termList)

Formula

public Formula(List<Term> termList,
               int[] regulators)

Method Detail

toArray

public int[][] toArray()

toString

public String toString()

Overrides:

toString in class Object

getTerms

public Iterable<Term> getTerms()

reduceToPrimeImplicants

public void reduceToPrimeImplicants()

reducePrimeImplicantsToSubset

public void reducePrimeImplicantsToSubset()

read

public static Formula read(Reader reader)
                    throws IOException

Throws:

IOException

readintArray

public static Formula readintArray(int[][] states)

negatePrimes

public Formula negatePrimes()

equals

public boolean equals(Formula f)

main

public static void main(String[] args)