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

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.
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

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 String toString()

Specified by:

toString in class Term