IntegerConstant

java.lang.Object

org.tweetyproject.math.term.Term

org.tweetyproject.math.term.Constant

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

String

toString()

Methods inherited from class org.tweetyproject.math.term.Constant
collapseAssociativeOperations, derive, expandAssociativeOperations, getAbsoluteValues, getMaximums, getMinimums, getProducts, getSums, getTerms, getVariables, isContinuous, replaceTerm, simplify, toLinearForm, toQuadraticForm, value

Methods inherited from class org.tweetyproject.math.term.Term
add, doubleValue, evaluateMatrix, evaluateVector, evaluateVector, isContinuous, isLinear, isQuadratic, min, minus, mult, replaceAllTerms, replaceAllTerms

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details
- IntegerConstant
  
  public IntegerConstant(int i)
  
  Creates a new Integer.
  
  Parameters:
  
  i - an int.
Method Details
- 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