IntegerVariable

java.lang.Object
- net.sf.tweety.math.term.Term
- - net.sf.tweety.math.term.Variable
  - - net.sf.tweety.math.term.IntegerVariable

```
public class IntegerVariable
extends Variable
```
This class models an integer variable as a mathematical term.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`IntegerVariable(java.lang.String name)`	Creates a new variable with the given name.
`IntegerVariable(java.lang.String name, boolean isPositive)`	Creates a new variable with the given name.
`IntegerVariable(java.lang.String name, double lowerBound, double upperBound)`	Creates a new variable with the given name and bounds.

Method Summary

Modifier and Type Method Description

boolean isInteger()
Checks whether this term represents an integer value.
- Methods inherited from class net.sf.tweety.math.term.Variable
  collapseAssociativeOperations, derive, equals, expandAssociativeOperations, getAbsoluteValues, getLowerBound, getMaximums, getMinimums, getName, getProducts, getUpperBound, getVariables, hashCode, isContinuous, isPositive, replaceTerm, simplify, toLinearForm, toString, 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, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - IntegerVariable
```
public IntegerVariable(java.lang.String name)
```
    Creates a new variable with the given name.
    
    Parameters:
    
    name - the name of this variable.
  - IntegerVariable
```
public IntegerVariable(java.lang.String name,
                       boolean isPositive)
```
    Creates a new variable with the given name.
    
    Parameters:
    
    name - the name of this variable.
    
    isPositive - whether this variables should be positive.
  - IntegerVariable
```
public IntegerVariable(java.lang.String name,
                       double lowerBound,
                       double upperBound)
```
    Creates a new variable with the given name and bounds.
    
    Parameters:
    
    name - the name of this variable.
    
    lowerBound - the lower bound of the variable.
    
    upperBound - the upper bound of the variable.
- Method Detail
  - 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.