Package net.sf.tweety.math.term
Class FloatVariable
- java.lang.Object
-
- net.sf.tweety.math.term.Term
-
- net.sf.tweety.math.term.Variable
-
- net.sf.tweety.math.term.FloatVariable
-
public class FloatVariable extends Variable
This class models an float variable as a mathematical term.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description FloatVariable(java.lang.String name)
Creates a new variable with the given name.FloatVariable(java.lang.String name, boolean isPositive)
Creates a new variable with the given name.FloatVariable(java.lang.String name, double lowerBound, double upperBound)
Creates a new variable with the given name and bounds.
-
Method Summary
-
Methods inherited from class net.sf.tweety.math.term.Variable
collapseAssociativeOperations, derive, expandAssociativeOperations, getAbsoluteValues, getLowerBound, getMaximums, getMinimums, getName, getProducts, getUpperBound, getVariables, 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
-
FloatVariable
public FloatVariable(java.lang.String name)
Creates a new variable with the given name.- Parameters:
name
- the name of this variable.
-
FloatVariable
public FloatVariable(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.
-
FloatVariable
public FloatVariable(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.
-
-