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 Description

IntegerConstant(int i)
Creates a new Integer.

Method Summary

Modifier and Type	Method	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
equals, 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 java.lang.String toString()
```
    Specified by:
    
    toString in class Term