Uses of Class
net.sf.tweety.math.term.Sum
-
Packages that use Sum Package Description net.sf.tweety.math.term -
-
Uses of Sum in net.sf.tweety.math.term
Methods in net.sf.tweety.math.term that return Sum Modifier and Type Method Description Sum
Term. add(Term t)
Returns the sum of this and the given term.Sum
Constant. toLinearForm()
Sum
Difference. toLinearForm()
Sum
Fraction. toLinearForm()
Sum
FunctionalTerm. toLinearForm()
Sum
Maximum. toLinearForm()
Sum
Minimum. toLinearForm()
Sum
Product. toLinearForm()
Sum
Sum. toLinearForm()
abstract Sum
Term. toLinearForm()
Converts this term into a linear normal form, i.e.Sum
Variable. toLinearForm()
-