net.sf.tweety.math.term

Class IntegerConstant

java.lang.Object

net.sf.tweety.math.term.Term

net.sf.tweety.math.term.Constant

net.sf.tweety.math.term.IntegerConstant

public class IntegerConstant
extends Constant

This class encapsulates an integer as a term.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	i the actual integer.

Constructor Summary

Constructors

Constructor and Description
IntegerConstant(int i) Creates a new Integer.

Method Summary

Modifier and Type	Method and Description
int	getValue() Get the value of this integer.
boolean	isInteger() Checks whether this term represents an integer value.
java.lang.String	toString()

Methods inherited from class net.sf.tweety.math.term.Constant

collapseAssociativeOperations, derive, expandAssociativeOperations, getAbsoluteValues, getMaximums, getMinimums, getProducts, getVariables, isContinuous, replaceTerm, simplify, toLinearForm, value

Methods inherited from class net.sf.tweety.math.term.Term

add, doubleValue, evaluateMatrix, evaluateVector, evaluateVector, isContinuous, isLinear, min, minus, mult, replaceAllTerms, replaceAllTerms

Methods inherited from class java.lang.Object

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

Field Detail

i

private int i

the actual integer.

Constructor Detail

IntegerConstant

public IntegerConstant(int i)

Creates a new Integer.

Parameters:

i - an int.

Method Detail

getValue

public int getValue()

Get the value of this integer.

Returns:

the value of this integer.

isInteger

public boolean isInteger()

Description copied from class: Term

Checks whether this term represents an integer value.

Specified by:

isInteger in class Term

Returns:

"true" iff this term represents an integer value.

toString

public java.lang.String toString()

Specified by:

toString in class Term