Uses of Class
org.tweetyproject.math.term.Sum
-
Packages that use Sum Package Description org.tweetyproject.math.term -
-
Uses of Sum in org.tweetyproject.math.term
Methods in org.tweetyproject.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()
Sum
Constant. toQuadraticForm()
Sum
Difference. toQuadraticForm()
Sum
Fraction. toQuadraticForm()
Sum
FunctionalTerm. toQuadraticForm()
Sum
Maximum. toQuadraticForm()
Sum
Minimum. toQuadraticForm()
Sum
Power. toQuadraticForm()
Sum
Product. toQuadraticForm()
Sum
Sum. toQuadraticForm()
abstract Sum
Term. toQuadraticForm()
Sum
Variable. toQuadraticForm()
Methods in org.tweetyproject.math.term that return types with arguments of type Sum Modifier and Type Method Description java.util.Set<Sum>
AssociativeOperation. getSums()
java.util.Set<Sum>
Constant. getSums()
java.util.Set<Sum>
Difference. getSums()
java.util.Set<Sum>
Fraction. getSums()
java.util.Set<Sum>
FunctionalTerm. getSums()
java.util.Set<Sum>
Sum. getSums()
abstract java.util.Set<Sum>
Term. getSums()
Returns all sums of this term.java.util.Set<Sum>
Variable. getSums()
-