Package org.jreliability.booleanfunction.common

Class LinearTerm

java.lang.Object

org.jreliability.booleanfunction.AbstractHierarchicalTerm

org.jreliability.booleanfunction.common.LinearTerm

All Implemented Interfaces:

Term

public class LinearTerm
extends AbstractHierarchicalTerm

The LinearTerm represents a linear constraint of the form:
left-hand-side comparator right-hand-side.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	LinearTerm.Comparator	The LinearTerm.Comparator determines the comparator in the LinearTerm, i.e.

Field Summary

Fields

Modifier and Type	Field	Description
protected final List<Integer>	coefficients	The coefficients of the embedded terms.
protected final LinearTerm.Comparator	comparator	The used LinearTerm.Comparator.
protected int	rhs	The right-hand-side of the LinearTerm.

Fields inherited from class org.jreliability.booleanfunction.AbstractHierarchicalTerm

terms

Constructor Summary

Constructors

Constructor	Description
LinearTerm(List<Integer> coefficients, List<Term> terms, LinearTerm.Comparator comparator, int rhs)	Constructs a LinearTerm with a given list of coefficients, the embedded Terms, the LinearTerm.Comparator, and the right-hand-side.
LinearTerm(LinearTerm.Comparator comparator, int rhs)	Constructs a LinearTerm with a given LinearTerm.Comparator, and the right-hand-side.

Method Summary

Modifier and Type	Method	Description
void	add(int coefficient, Term term)	Adds a Term and its coefficient.
void	add(Term term)	Adds a Term to the list of embedded TermUtils.
List<Integer>	getCoefficients()	Returns the coefficients of the Terms.
LinearTerm.Comparator	getComparator()	Returns the LinearTerm.Comparator of the LinearTerm.
int	getRHS()	Returns the right-hand-side.
String	toString()

Methods inherited from class org.jreliability.booleanfunction.AbstractHierarchicalTerm

add, getTerms, size

Methods inherited from class java.lang.Object

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

Field Details

coefficients

protected final List<Integer> coefficients

The coefficients of the embedded terms.

comparator

protected final LinearTerm.Comparator comparator

The used LinearTerm.Comparator.

rhs

protected int rhs

The right-hand-side of the LinearTerm.

Constructor Details

LinearTerm

public LinearTerm(LinearTerm.Comparator comparator,
 int rhs)

Constructs a LinearTerm with a given LinearTerm.Comparator, and the right-hand-side.

Parameters:

comparator - the used comparator

rhs - the right-hand-side

LinearTerm

public LinearTerm(List<Integer> coefficients,
 List<Term> terms,
 LinearTerm.Comparator comparator,
 int rhs)

Constructs a LinearTerm with a given list of coefficients, the embedded Terms, the LinearTerm.Comparator, and the right-hand-side.

Parameters:

coefficients - the coefficients of the terms

terms - the terms

comparator - the used comparator

rhs - the right-hand-side

Method Details

getCoefficients

public List<Integer> getCoefficients()

Returns the coefficients of the Terms.

Returns:

the coefficients of the terms

getRHS

public int getRHS()

Returns the right-hand-side.

Returns:

the right-hand-side

add

public void add(Term term)

Description copied from class: AbstractHierarchicalTerm

Adds a Term to the list of embedded TermUtils.

Overrides:

add in class AbstractHierarchicalTerm

Parameters:

term - the term to add

add

public void add(int coefficient,
 Term term)

Adds a Term and its coefficient.

Parameters:

coefficient - the coefficient

term - the term

getComparator

public LinearTerm.Comparator getComparator()

Returns the LinearTerm.Comparator of the LinearTerm.

Returns:

the comparator of the linear term

toString

public String toString()

Overrides:

toString in class Object