Package net.sf.tweety.math.term
Class 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
-
-
-
-
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.
-
-