org.colomoto.biolqm.helper.implicants

Class Term

java.lang.Object

org.colomoto.biolqm.helper.implicants.Term

public class Term
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static byte	DontCare

Constructor Summary

Constructors

Constructor and Description
Term(byte[] varVals)

Method Summary

Modifier and Type	Method and Description
Term	combine(Term term)
int	countValues(byte value)
boolean	equals(Object o)
int	findNextRequiredNegation(int minidx, byte[] values)
int	getNumVars()
int	getVarsValue(int i)
int	hashCode()
static Term	read(Reader reader)
static Term	readintArray(int[] state)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

DontCare

public static final byte DontCare

See Also:

Constant Field Values

Constructor Detail

Term

public Term(byte[] varVals)

Method Detail

getNumVars

public int getNumVars()

getVarsValue

public int getVarsValue(int i)

toString

public String toString()

Overrides:

toString in class Object

combine

public Term combine(Term term)

countValues

public int countValues(byte value)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

read

public static Term read(Reader reader)
                 throws IOException

Throws:

IOException

readintArray

public static Term readintArray(int[] state)

findNextRequiredNegation

public int findNextRequiredNegation(int minidx,
                                    byte[] values)