IntegerVariable

java.lang.Object

org.tweetyproject.math.term.Term

org.tweetyproject.math.term.Variable

org.tweetyproject.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(String name)

Creates a new variable with the given name.

IntegerVariable(String name, boolean isPositive)

Creates a new variable with the given name.

IntegerVariable(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 org.tweetyproject.math.term.Variable
collapseAssociativeOperations, derive, equals, expandAssociativeOperations, getAbsoluteValues, getLowerBound, getMaximums, getMinimums, getName, getProducts, getSums, getTerms, getUpperBound, getVariables, hashCode, isContinuous, isPositive, replaceTerm, simplify, toLinearForm, toQuadraticForm, toString, 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
getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- IntegerVariable
  
  public IntegerVariable(String name)
  
  Creates a new variable with the given name.
  
  Parameters:
  
  name - the name of this variable.
- IntegerVariable
  
  public IntegerVariable(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(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 Details
- 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.