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 and 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 and 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.